--- a/src/HOL/Tools/Sledgehammer/sledgehammer_mepo.ML Wed Sep 11 18:52:30 2013 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_mepo.ML Wed Sep 11 22:20:43 2013 +0200
@@ -30,7 +30,7 @@
open Sledgehammer_Provers
val trace =
- Attrib.setup_config_bool @{binding sledgehammer_filter_iter_trace} (K false)
+ Attrib.setup_config_bool @{binding sledgehammer_mepo_trace} (K false)
fun trace_msg ctxt msg = if Config.get ctxt trace then tracing (msg ()) else ()
val sledgehammer_prefix = "Sledgehammer" ^ Long_Name.separator