# HG changeset patch
# User blanchet
# Date 1378930843 -7200
# Node ID 785b57a1ffe2827352b58247e06f49430a7ca29d
# Parent  e12f16366957c07b780db7ee2c16764ed2978a1a
renamed config option

diff -r e12f16366957 -r 785b57a1ffe2 src/HOL/Tools/Sledgehammer/sledgehammer_mepo.ML
--- 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