X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fsuperposition.mli;fp=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fsuperposition.mli;h=c6877901b8010acf505221a357a5ec1c199798e4;hb=d5e373656748835ecfe33041bbb87b786446b75f;hp=ad780c82c1e1f3fc645cc6a193b59886d2401dbc;hpb=d35aca0e979a9c7edbc60c44040360d52be8ca82;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/superposition.mli b/helm/software/components/ng_paramodulation/superposition.mli
index ad780c82c..c6877901b 100644
--- a/helm/software/components/ng_paramodulation/superposition.mli
+++ b/helm/software/components/ng_paramodulation/superposition.mli
@@ -75,5 +75,4 @@ module Superposition (B : Orderings.Blob) :
       B.t Terms.clause ->
       bool
 
-
   end