formal topologies

[helm.git] / helm / software / matita / matitaExcPp.mli

diff --git a/helm/software/matita/matitaExcPp.mli b/helm/software/matita/matitaExcPp.mli
index 419b04c7332bb2ca09f16cb5bb863c07c5b46f12..77a5a3ce90d05e2c19dffc866a43ba3fd670921b 100644 (file)
--- a/helm/software/matita/matitaExcPp.mli
+++ b/helm/software/matita/matitaExcPp.mli
@@ -27,7 +27,11 @@ 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
+   (Stdpp.location * string) Lazy.t * bool) list) list ->
+  (Stdpp.location * 
+    (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