X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FfoUnif.mli;fp=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FfoUnif.mli;h=87792ec8c6faafd24f6b69dfc30f2094d7e226f6;hb=2041f4fefe300f77338f6aea598f025f84db1bbc;hp=2371f2180c394cff4d3c19f57aca41c8ab38f2a8;hpb=38c54dd8e2234836d5f3e8011c478daf7d59fa25;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/foUnif.mli b/helm/software/components/ng_paramodulation/foUnif.mli
index 2371f2180..87792ec8c 100644
--- a/helm/software/components/ng_paramodulation/foUnif.mli
+++ b/helm/software/components/ng_paramodulation/foUnif.mli
@@ -13,7 +13,7 @@
 
 exception UnificationFailure of string Lazy.t;;
 
-module Founif (B : Orderings.Blob) : 
+module FoUnif (B : Terms.Blob) : 
   sig
 
    val unification: