Ported innermost strategy for demodulation from trunk

[helm.git] / helm / software / components / ng_paramodulation / superposition.mli

diff --git a/helm/software/components/ng_paramodulation/superposition.mli b/helm/software/components/ng_paramodulation/superposition.mli
index ad780c82c1e1f3fc645cc6a193b59886d2401dbc..c6877901b8010acf505221a357a5ec1c199798e4 100644 (file)
--- 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