(no commit message)

[helm.git] / matitaB / components / disambiguation / disambiguate.mli

diff --git a/matitaB/components/disambiguation/disambiguate.mli b/matitaB/components/disambiguation/disambiguate.mli
index ab347e1640eb5aed4461f4e57076eefcb3f2d62f..5df0bffcc435a2520bae8b95f29cd56d8b3781c9 100644 (file)
--- 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