X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FnCicBlob.mli;h=58f97a3f22dea41c5b32cbc8bdd5ccec0199fa9f;hb=7d9753115cb26bf27a739e9e1d753fd60b185c17;hp=16a8c33a2b06b64e657f1180cfd084d81298e4a4;hpb=f7bfbdc706a75256c0e9b15ecc242175f562eb71;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/nCicBlob.mli b/helm/software/components/ng_paramodulation/nCicBlob.mli
index 16a8c33a2..58f97a3f2 100644
--- a/helm/software/components/ng_paramodulation/nCicBlob.mli
+++ b/helm/software/components/ng_paramodulation/nCicBlob.mli
@@ -11,6 +11,8 @@
 
 (* $Id: terms.mli 9822 2009-06-03 15:37:06Z tassi $ *)
 
+val set_reference_of_oxuri: (UriManager.uri -> NReference.reference) -> unit
+
 module type NCicContext = 
   sig
     val metasenv : NCic.metasenv