X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_paramodulation%2FnCicBlob.mli;h=449a6a0eb5c03b9493295f345d866d54f8168ab1;hb=712af5b8dc7dab1ebfa6532b73b91c96cb4c6837;hp=5d0c7ae2ba0e5fad112522aa0ca3f6f1bffe864a;hpb=e14fdca3a845ad0b88a34497f41472c3e7f8473b;p=helm.git

diff --git a/matita/components/ng_paramodulation/nCicBlob.mli b/matita/components/ng_paramodulation/nCicBlob.mli
index 5d0c7ae2b..449a6a0eb 100644
--- a/matita/components/ng_paramodulation/nCicBlob.mli
+++ b/matita/components/ng_paramodulation/nCicBlob.mli
@@ -21,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