Various architectural changes

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

diff --git a/helm/software/components/ng_paramodulation/nCicBlob.mli b/helm/software/components/ng_paramodulation/nCicBlob.mli
index 16a8c33a2b06b64e657f1180cfd084d81298e4a4..87e12c9503809a634f7f245feee67d7da7da7450 100644 (file)
--- 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