X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fdisambiguation%2Fdisambiguate.mli;h=167de714bf39b91d6338afc619530aaf47c41760;hb=e4328c9691fa85434acfb24eaedcb15ea2263b28;hp=cffb1df0aee5d716a93398ca479699ec43498f34;hpb=2c01ff6094173915e7023076ea48b5804dca7778;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 ->