X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fcomponents%2Fng_disambiguation%2FnCicDisambiguate.mli;fp=matita%2Fcomponents%2Fng_disambiguation%2FnCicDisambiguate.mli;h=b02ce3cc88f50456c80e0a482ef23d206787f3c2;hb=f6b7c6ae353e014761a3d24dbc87e00d828d7f2d;hp=25ac95ff47bffddbe9ee340f6d422c268205aff1;hpb=42aa528129728611cae9da02904886522b08f94a;p=helm.git

diff --git a/matita/components/ng_disambiguation/nCicDisambiguate.mli b/matita/components/ng_disambiguation/nCicDisambiguate.mli
index 25ac95ff4..b02ce3cc8 100644
--- a/matita/components/ng_disambiguation/nCicDisambiguate.mli
+++ b/matita/components/ng_disambiguation/nCicDisambiguate.mli
@@ -11,8 +11,6 @@
 
 (* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
 
-val set_reference_of_oxuri: (UriManager.uri -> NReference.reference) -> unit
-
 val disambiguate_term :
   context:NCic.context ->
   metasenv:NCic.metasenv ->