X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FfoUnif.ml;h=916e33ca83aa5d4039ab46ec279aecf35ae65707;hb=2041f4fefe300f77338f6aea598f025f84db1bbc;hp=61bbdcd8be9b7bf0ae76ac6311c108a0197a70b2;hpb=38c54dd8e2234836d5f3e8011c478daf7d59fa25;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/foUnif.ml b/helm/software/components/ng_paramodulation/foUnif.ml
index 61bbdcd8b..916e33ca8 100644
--- 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)