X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Fdisambiguate.mli;h=fc88b6cf84d54320fb092cb9a3f67763a1585897;hb=a56837c8e421a9d1e71566bde12ea8cc1518cfba;hp=f0ca92db00dc69d18addf9e84d66f9adf49a04cf;hpb=d065a590ca5c4aec5ab505f2cf9e295e6c900942;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.mli b/helm/ocaml/cic_disambiguation/disambiguate.mli
index f0ca92db0..fc88b6cf8 100644
--- a/helm/ocaml/cic_disambiguation/disambiguate.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguate.mli
@@ -25,7 +25,8 @@
 
 (** {2 Disambiguation interface} *)
 
-exception NoWellTypedInterpretation of string Lazy.t list
+exception NoWellTypedInterpretation of
+ (Token.flocation option * string Lazy.t) list
 exception PathNotWellFormed
 
 val interpretate_path :