X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Findex.ml;h=889e1e7ef14955960fb1b88bbb7d8f40581ecf1c;hb=2bcf927f58bac034b8758173cdbd16cb7475de36;hp=3c203d3a7131e7ce1d2411f950975a29c19d9753;hpb=d807d5e4fa129504669f775f4f832a1a7eb920a0;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/index.ml b/helm/software/components/ng_paramodulation/index.ml
index 3c203d3a7..889e1e7ef 100644
--- 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 =