X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Ffounif.ml;h=bcea59ad57c02acde74bbef56614c3a0d623a041;hb=a3ee89dab26307ce1cedc8041ede995a97d51446;hp=048d082c558ab1f5b540b90ac4552867ab8c2b9f;hpb=1f80b6362bf8a9311c2eb1f7d270f363956b5969;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/founif.ml b/helm/software/components/ng_paramodulation/founif.ml
index 048d082c5..bcea59ad5 100644
--- a/helm/software/components/ng_paramodulation/founif.ml
+++ b/helm/software/components/ng_paramodulation/founif.ml
@@ -14,7 +14,7 @@
 exception UnificationFailure of string Lazy.t;;
 
 module Founif (B : Terms.Blob) = struct
-  module Subst = Subst.Subst(B)
+  module Subst = Fosubst.Subst(B)
   module U = Terms.Utils(B)
 
   let unification vars locked_vars t1 t2 =