X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fdisambiguation%2Fdisambiguate.mli;h=167de714bf39b91d6338afc619530aaf47c41760;hb=8a660ee06d72cfee52c707bb1d8d8be3bab0d682;hp=cffb1df0aee5d716a93398ca479699ec43498f34;hpb=5553ac7623425bce6f34eed6e17d4f0f8163e9aa;p=helm.git

diff --git a/matita/components/disambiguation/disambiguate.mli b/matita/components/disambiguation/disambiguate.mli
index cffb1df0a..167de714b 100644
--- a/matita/components/disambiguation/disambiguate.mli
+++ b/matita/components/disambiguation/disambiguate.mli
@@ -82,9 +82,9 @@ val resolve :
 
 val find_in_context: string -> string option list -> int
 val domain_of_term: context:
-  string option list -> CicNotationPt.term -> domain
+  string option list -> NotationPt.term -> domain
 val domain_of_obj: 
-  context:string option list -> CicNotationPt.term CicNotationPt.obj -> domain
+  context:string option list -> NotationPt.term NotationPt.obj -> domain
 
 val disambiguate_thing:
   context:'context ->