X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_disambiguation%2FnCicDisambiguate.mli;h=b63f8afaa37d54a257d547dbf4e83f149d02fa4e;hb=46ee64f692a1e5e65864ebb82ec875e8d115843c;hp=6f6bbd1a1b6413b2e2b50b0757d4a5e41a483d76;hpb=6d4277977478ef9bcadaffbef3d4bb04ac0250a5;p=helm.git

diff --git a/matitaB/components/ng_disambiguation/nCicDisambiguate.mli b/matitaB/components/ng_disambiguation/nCicDisambiguate.mli
index 6f6bbd1a1..b63f8afaa 100644
--- a/matitaB/components/ng_disambiguation/nCicDisambiguate.mli
+++ b/matitaB/components/ng_disambiguation/nCicDisambiguate.mli
@@ -55,4 +55,4 @@ val disambiguate_obj :
    NCic.substitution * NCic.obj)
   list * bool
 
-val disambiguate_path: #NCic.status -> NotationPt.term -> NCic.term
+val disambiguate_path: #NCicEnvironment.status -> NotationPt.term -> NCic.term