From 19451c84fa726b9a337b5e8647b4adbfb50db2df Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 12 Oct 2006 10:37:17 +0000 Subject: [PATCH] The default for paramodulation is now back to false (I set it to true by mistake). --- components/tactics/auto.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/tactics/auto.ml b/components/tactics/auto.ml index 194f05dc9..4acacefc6 100644 --- a/components/tactics/auto.ml +++ b/components/tactics/auto.ml @@ -560,7 +560,7 @@ let flags_of_params params ?(for_applyS=false) () = let bool = bool params in let use_paramod = bool "use_paramod" true in let use_only_paramod = - if for_applyS then true else bool "paramodulation" true in + if for_applyS then true else bool "paramodulation" false in let depth = int "depth" ((AutoTypes.default_flags()).AutoTypes.maxdepth) in let width = int "width" ((AutoTypes.default_flags()).AutoTypes.maxwidth) in let timeout = int "timeout" 0 in -- 2.39.2