fixed compilation order

[helm.git] / helm / ocaml / cic_disambiguation / disambiguate.mli

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.mli b/helm/ocaml/cic_disambiguation/disambiguate.mli
index f0ca92db00dc69d18addf9e84d66f9adf49a04cf..a2cc0d0e7b04489333cadfb33572aa9b60dfbb49 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguate.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguate.mli
@@ -25,7 +25,9 @@
 
 (** {2 Disambiguation interface} *)
 
-exception NoWellTypedInterpretation of string Lazy.t list
+(* the integer is an offset to be added to each location *)
+exception NoWellTypedInterpretation of
+ int * (Token.flocation option * string Lazy.t) list
 exception PathNotWellFormed
 
 val interpretate_path :