X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_disambiguation%2FnCicDisambiguate.mli;h=6ae8bb036af0188747f753e5e7489049b8209136;hb=4e98c439731c6e110430a6c5217274215bf403b6;hp=d1175648aa866ce856897b0ddda9ebc176f1569c;hpb=b225178112c2c5ef1a717ac7e647d854d94b2e52;p=helm.git

diff --git a/helm/software/components/ng_disambiguation/nCicDisambiguate.mli b/helm/software/components/ng_disambiguation/nCicDisambiguate.mli
index d1175648a..6ae8bb036 100644
--- a/helm/software/components/ng_disambiguation/nCicDisambiguate.mli
+++ b/helm/software/components/ng_disambiguation/nCicDisambiguate.mli
@@ -50,3 +50,5 @@ val disambiguate_obj :
      NCic.substitution * NCic.obj)
     list * bool
 
+val disambiguate_path: CicNotationPt.term -> NCic.term
+