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 5fafaf54f386510e0f5032e4f0170be1a1e0b502..87e12c9503809a634f7f245feee67d7da7da7450 100644 (file)
--- 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