X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fclauses.mli;fp=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fclauses.mli;h=81738c2a42314d221825a4a591bab474588c66f1;hb=b714e87e96f14f332a5157567a4c62a4b28fa8eb;hp=885e97607077dcca3b682a9a34316a57692453d4;hpb=ddba563cd3f42a7947a0e0b464d5dd3c5f9b299d;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/clauses.mli b/helm/software/components/ng_paramodulation/clauses.mli
index 885e97607..81738c2a4 100644
--- a/helm/software/components/ng_paramodulation/clauses.mli
+++ b/helm/software/components/ng_paramodulation/clauses.mli
@@ -37,4 +37,7 @@ module Clauses (B : Orderings.Blob) :
     val compare_passive_clauses_age :
            int * B.t Terms.clause -> int * B.t Terms.clause -> int
 
+    val are_alpha_eq_cl :
+           B.t Terms.clause -> B.t Terms.clause -> bool
+
 end