canonical and contextualize_rewrites are back, they seem to work now...

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

diff --git a/components/tactics/paramodulation/saturation.mli b/components/tactics/paramodulation/saturation.mli
index 95f258124f10942c7905c042e225eb303707ec61..7a16895a77a8abe67d9f1eb4eeadfcc33ae39590 100644 (file)
--- a/components/tactics/paramodulation/saturation.mli
+++ b/components/tactics/paramodulation/saturation.mli
@@ -51,3 +51,5 @@ val main: HMysql.dbd ->
 val demodulate_tac: 
   dbd:HMysql.dbd ->  
   pattern:ProofEngineTypes.lazy_pattern -> ProofEngineTypes.tactic
+
+val get_stats: unit -> string