X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaExcPp.mli;h=4a40f6c242afc02a949dbbdbae4e6f16f775e976;hb=ba8d987dab88c8a834c4e23508f13a397070d537;hp=77a5a3ce90d05e2c19dffc866a43ba3fd670921b;hpb=33bdd7e8c67299d34f05ac587488dd324fc6ba42;p=helm.git

diff --git a/helm/software/matita/matitaExcPp.mli b/helm/software/matita/matitaExcPp.mli
index 77a5a3ce9..4a40f6c24 100644
--- a/helm/software/matita/matitaExcPp.mli
+++ b/helm/software/matita/matitaExcPp.mli
@@ -26,12 +26,12 @@
 val compact_disambiguation_errors :
   bool ->
   (int * ((Stdpp.location list * string * string) list *
-   (DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) 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 * DisambiguateTypes.codomain_item) list) list * 
+     (DisambiguateTypes.domain_item * string) list) list * 
     string Lazy.t * bool) list) list
 
 val to_string: exn -> Stdpp.location option * string