X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaExcPp.mli;h=4a40f6c242afc02a949dbbdbae4e6f16f775e976;hb=e7f64fe2cc67f3514131c8831f87311ff600d005;hp=9d8c7739fc59f2514bd51ea5e6088d0a98f0e1f8;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/matita/matitaExcPp.mli b/helm/software/matita/matitaExcPp.mli
index 9d8c7739f..4a40f6c24 100644
--- a/helm/software/matita/matitaExcPp.mli
+++ b/helm/software/matita/matitaExcPp.mli
@@ -23,5 +23,15 @@
  * http://helm.cs.unibo.it/
  *)
 
-val to_string: exn -> Token.flocation option * string
+val compact_disambiguation_errors :
+  bool ->
+  (int * ((Stdpp.location list * string * string) list *
+   (DisambiguateTypes.domain_item * string) list *
+   (Stdpp.location * string) Lazy.t * bool) list) list ->
+  (Stdpp.location * 
+    (int list * 
+     (int list * (Stdpp.location list * string * string) list * 
+     (DisambiguateTypes.domain_item * string) list) list * 
+    string Lazy.t * bool) list) list
 
+val to_string: exn -> Stdpp.location option * string