X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FfoUnif.ml;h=6eb014062f81451292249ac8382e8272da65cc58;hb=bd3680d6b90f6c8bdda4eb4a915a86a0e806de63;hp=e4ea77c999ffbdc25e94bba2381d8f37edac06e2;hpb=25cf2297c8d14c14cfb2ff7695c9b6331825f4c9;p=helm.git

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