From 7278063faf0ebb5fd08af2191989a12e2a27f522 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). --- helm/software/components/tactics/auto.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/tactics/auto.ml b/helm/software/components/tactics/auto.ml index 194f05dc9..4acacefc6 100644 --- a/helm/software/components/tactics/auto.ml +++ b/helm/software/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