matitaGui: some missing cases during disambiguation now treated

[helm.git] / components / content_pres / cicClassify.mli

diff --git a/components/content_pres/cicClassify.mli b/components/content_pres/cicClassify.mli
index c35ba1b5c65dd4d5b129af9ec613fbd0bed3a345..3d92134df6a18ee97a5a799acbb2df791c54340f 100644 (file)
--- a/components/content_pres/cicClassify.mli
+++ b/components/content_pres/cicClassify.mli
@@ -27,9 +27,7 @@ module S : Set.S with type elt = int
 
 type conclusion = (int * int) option
 
-val classify: Cic.term -> S.t list * conclusion
-
-val aclassify: Cic.annterm -> S.t list * conclusion
+val classify: Cic.context -> Cic.term -> S.t list * conclusion
 
 val to_string: S.t list * conclusion -> string