X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FnCicBlob.mli;h=16a8c33a2b06b64e657f1180cfd084d81298e4a4;hb=c900512d028a10f1caf89677c9a7dd61c7a64856;hp=5fafaf54f386510e0f5032e4f0170be1a1e0b502;hpb=3c1a432c1612f8ed21f5b2220005599c4d9da1d5;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/nCicBlob.mli b/helm/software/components/ng_paramodulation/nCicBlob.mli
index 5fafaf54f..16a8c33a2 100644
--- a/helm/software/components/ng_paramodulation/nCicBlob.mli
+++ b/helm/software/components/ng_paramodulation/nCicBlob.mli
@@ -18,5 +18,6 @@ module type NCicContext =
     val context : NCic.context
   end
 
-module NCicBlob(C : NCicContext) : Terms.Blob with type t = NCic.term
+module NCicBlob(C : NCicContext) : Terms.Blob 
+with type t = NCic.term and type input = NCic.term