X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2Fparamodulation%2Fsaturation.mli;h=20b564f4bc7590ca05c0f581cb4ff652415adde0;hb=refs%2Ftags%2F0.4.95%407852;hp=0c9a75e62478dff464ea8ee5b5451b662939a1a4;hpb=9ab7d3460c70ee067f75bf6523d06b67d6e7750a;p=helm.git

diff --git a/components/tactics/paramodulation/saturation.mli b/components/tactics/paramodulation/saturation.mli
index 0c9a75e62..20b564f4b 100644
--- 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
 
-