X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_paramodulation%2FnCicBlob.mli;h=5d0c7ae2ba0e5fad112522aa0ca3f6f1bffe864a;hb=076439def28e649ec384fae038ed021dadd5f75c;hp=a8b6a7b7e045bdef55836df7753e361fa6cad802;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/ng_paramodulation/nCicBlob.mli b/matita/components/ng_paramodulation/nCicBlob.mli
index a8b6a7b7e..5d0c7ae2b 100644
--- a/matita/components/ng_paramodulation/nCicBlob.mli
+++ b/matita/components/ng_paramodulation/nCicBlob.mli
@@ -11,7 +11,6 @@
 
 (* $Id: terms.mli 9822 2009-06-03 15:37:06Z tassi $ *)
 
-val set_reference_of_oxuri: (UriManager.uri -> NReference.reference) -> unit
 val set_eqP: NCic.term -> unit
 val set_default_eqP: unit -> unit