New functorialization: paramod is abstracted over a Orderings.Blob, that is like...

[helm.git] / helm / software / components / ng_paramodulation / index.ml

diff --git a/helm/software/components/ng_paramodulation/index.ml b/helm/software/components/ng_paramodulation/index.ml
index 3c203d3a7131e7ce1d2411f950975a29c19d9753..889e1e7ef14955960fb1b88bbb7d8f40581ecf1c 100644 (file)
--- a/helm/software/components/ng_paramodulation/index.ml
+++ b/helm/software/components/ng_paramodulation/index.ml
@@ -11,7 +11,7 @@
 
 (* $Id$ *)
 
-module Index(B : Terms.Blob) = struct
+module Index(B : Orderings.Blob) = struct
   module U = FoUtils.Utils(B)
 
   module ClauseOT =