X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FnCicBlob.mli;fp=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FnCicBlob.mli;h=87e12c9503809a634f7f245feee67d7da7da7450;hb=38c54dd8e2234836d5f3e8011c478daf7d59fa25;hp=16a8c33a2b06b64e657f1180cfd084d81298e4a4;hpb=8a3045a162622e8a76ffdb267309faff496ee7ec;p=helm.git

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