X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2Fparamodulation%2Fsaturation.mli;h=8a03cd547a0be220daae305c3f44c379ca9b9524;hb=d8d939cc3f78a805a3c16f715912ecd96c302592;hp=9f1ad293d97cfa1563df07112ed52a4bf6b3b642;hpb=41e76668e9389ce17e41747026e533f907a0311c;p=helm.git

diff --git a/components/tactics/paramodulation/saturation.mli b/components/tactics/paramodulation/saturation.mli
index 9f1ad293d..8a03cd547 100644
--- a/components/tactics/paramodulation/saturation.mli
+++ b/components/tactics/paramodulation/saturation.mli
@@ -27,6 +27,7 @@
 
 
 val saturate :
+  bool ->
   HMysql.dbd ->
   ?full:bool ->
   ?depth:int ->