]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/ng_paramodulation/index.ml
some more functors and a nice higher-order all_positions iterator
[helm.git] / helm / software / components / ng_paramodulation / index.ml
index 9ec7fa4cbb89f8b590c8a31fe78c2db97d5bed19..ca30c9b504ef126f72620205c5f2b586e949783c 100644 (file)
@@ -12,7 +12,7 @@
 (* $Id$ *)
 
 module Index(B : Terms.Blob) = struct
-  module U = Terms.Utils(B)
+  module U = FoUtils.Utils(B)
 
   module ClauseOT =
     struct