Snapshot.

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

diff --git a/components/tactics/paramodulation/saturation.mli b/components/tactics/paramodulation/saturation.mli
index 34159810d19658be25ec9580444facf206866a94..17fbb8cfdb326a18a5848f1b1ef36972ab0da1fe 100644 (file)
--- a/components/tactics/paramodulation/saturation.mli
+++ b/components/tactics/paramodulation/saturation.mli
@@ -25,6 +25,7 @@
 
 (* $Id$ *)
 
+
 val saturate :
   HMysql.dbd ->
   ?full:bool ->