cicNotation* ==> notation*

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

diff --git a/matita/components/disambiguation/disambiguate.mli b/matita/components/disambiguation/disambiguate.mli
index cffb1df0aee5d716a93398ca479699ec43498f34..167de714bf39b91d6338afc619530aaf47c41760 100644 (file)
--- 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 ->