some more functors and a nice higher-order all_positions iterator

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

diff --git a/helm/software/components/ng_paramodulation/foUnif.ml b/helm/software/components/ng_paramodulation/foUnif.ml
index e4ea77c999ffbdc25e94bba2381d8f37edac06e2..fae6e084037d44439145679ea9aa036815524971 100644 (file)
--- a/helm/software/components/ng_paramodulation/foUnif.ml
+++ b/helm/software/components/ng_paramodulation/foUnif.ml
@@ -15,7 +15,7 @@ exception UnificationFailure of string Lazy.t;;
 
 module Founif (B : Terms.Blob) = struct
   module Subst = FoSubst.Subst(B)
-  module U = Terms.Utils(B)
+  module U = FoUtils.Utils(B)
 
   let unification vars locked_vars t1 t2 =
     let lookup = Subst.lookup_subst in