Use of standard OCaml syntax

[helm.git] / matita / components / ng_paramodulation / nCicBlob.mli

diff --git a/matita/components/ng_paramodulation/nCicBlob.mli b/matita/components/ng_paramodulation/nCicBlob.mli
index a8b6a7b7e045bdef55836df7753e361fa6cad802..449a6a0eb5c03b9493295f345d866d54f8168ab1 100644 (file)
--- 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
 
@@ -22,6 +21,6 @@ module type NCicContext =
     val context : NCic.context
   end
 
-module NCicBlob(C : NCicContext) : Terms.Blob 
+module NCicBlob(_ : NCicContext) : Terms.Blob 
 with type t = NCic.term and type input = NCic.term