X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fdisambiguation%2Fdisambiguate.mli;fp=matitaB%2Fcomponents%2Fdisambiguation%2Fdisambiguate.mli;h=5df0bffcc435a2520bae8b95f29cd56d8b3781c9;hb=86b0a224bd9251ed22648de04bc0d00f11dbd0fc;hp=ab347e1640eb5aed4461f4e57076eefcb3f2d62f;hpb=e499c2e36d8a39c4749b8e0e34438b49532d15b8;p=helm.git

diff --git a/matitaB/components/disambiguation/disambiguate.mli b/matitaB/components/disambiguation/disambiguate.mli
index ab347e164..5df0bffcc 100644
--- a/matitaB/components/disambiguation/disambiguate.mli
+++ b/matitaB/components/disambiguation/disambiguate.mli
@@ -28,12 +28,9 @@
 type ('alias,'ast_thing,'metasenv,'subst,'thing,'ugraph) disamb_result =
   | Disamb_success of ('ast_thing * 'metasenv * 'subst * 'thing * 'ugraph) list 
   | Disamb_failure of 
-      (('ast_thing * 'alias option * Stdpp.location * string) list * Stdpp.location) list *
       (('ast_thing * 'alias option * Stdpp.location * string) list * Stdpp.location) list
 
-exception NoWellTypedInterpretation of
- ((Stdpp.location * string) list *
-  (Stdpp.location * string) list)
+exception NoWellTypedInterpretation of (Stdpp.location * string)
 
 exception PathNotWellFormed