Reorganized foUtils, added Clauses module to avoid duplicate code around are_invertib...

[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 61bbdcd8be9b7bf0ae76ac6311c108a0197a70b2..916e33ca83aa5d4039ab46ec279aecf35ae65707 100644 (file)
--- a/helm/software/components/ng_paramodulation/foUnif.ml
+++ b/helm/software/components/ng_paramodulation/foUnif.ml
@@ -25,7 +25,7 @@ let mem2 a b l =
    aux false false l
 ;;
 
-module Founif (B : Orderings.Blob) = struct
+module FoUnif (B : Terms.Blob) = struct
   module Subst = FoSubst 
   module U = FoUtils.Utils(B)