many changes:

[helm.git] / components / tactics / paramodulation / saturation.mli

diff --git a/components/tactics/paramodulation/saturation.mli b/components/tactics/paramodulation/saturation.mli
index 0c9a75e62478dff464ea8ee5b5451b662939a1a4..20b564f4bc7590ca05c0f581cb4ff652415adde0 100644 (file)
--- a/components/tactics/paramodulation/saturation.mli
+++ b/components/tactics/paramodulation/saturation.mli
@@ -71,4 +71,3 @@ val given_clause:
      ProofEngineTypes.goal list) option * 
     active_table * passive_table * int
 
-