X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2Fparamodulation%2Fsaturation.mli;h=20b564f4bc7590ca05c0f581cb4ff652415adde0;hb=d7f3ff62899afb162cb2825af91de72fe6d8dc85;hp=0c9a75e62478dff464ea8ee5b5451b662939a1a4;hpb=61f3a8a688132be943b81befa5805e27148f2038;p=helm.git

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