X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fsuperposition.mli;h=30d32d540a330d8bdb9495b086a134e0fffd5391;hb=2bcf927f58bac034b8758173cdbd16cb7475de36;hp=149bbb0486f76726169f207cf3d4d13ae8455b46;hpb=d807d5e4fa129504669f775f4f832a1a7eb920a0;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/superposition.mli b/helm/software/components/ng_paramodulation/superposition.mli
index 149bbb048..30d32d540 100644
--- a/helm/software/components/ng_paramodulation/superposition.mli
+++ b/helm/software/components/ng_paramodulation/superposition.mli
@@ -11,7 +11,7 @@
 
 (* $Id: index.mli 9822 2009-06-03 15:37:06Z tassi $ *)
 
-module Superposition (B : Terms.Blob) : 
+module Superposition (B : Orderings.Blob) : 
   sig
 
                         (* bag, maxvar, meeting point *)