X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaExcPp.mli;h=419b04c7332bb2ca09f16cb5bb863c07c5b46f12;hb=da26f5476270e7d00f9a03b28b4db886c4557b6d;hp=4abe0b4f9d5bc6956171e5459a289b0203c14502;hpb=683978a2627cf1ce15673360f26806593d22f7b5;p=helm.git

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