X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2FfoUnif.mli;h=4b5e23a48d68ea3ab12196f8a641057e28f67253;hb=9883f04161a9972f0641dd85faf224b4f2846f05;hp=6d50f70ee2339087099df6da70d9540a044b59a4;hpb=a6011d00d7c377056ead2e0974c68a7a3ae069d0;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/foUnif.mli b/helm/software/components/ng_paramodulation/foUnif.mli
index 6d50f70ee..4b5e23a48 100644
--- a/helm/software/components/ng_paramodulation/foUnif.mli
+++ b/helm/software/components/ng_paramodulation/foUnif.mli
@@ -23,7 +23,7 @@ module Founif (B : Terms.Blob) :
      Terms.varlist -> 
      B.t Terms.foterm ->
      B.t Terms.foterm ->
-        B.t Terms.substitution * Terms.varlist
+        B.t Terms.substitution 
 
 
    val alpha_eq: