src/HOL/Tools/Meson/meson.ML
changeset 40724 d01a1b3ab23d
parent 40262 8403085384eb
child 42335 cb8aa792d138
     1.1 --- a/src/HOL/Tools/Meson/meson.ML	Fri Nov 26 22:22:07 2010 +0100
     1.2 +++ b/src/HOL/Tools/Meson/meson.ML	Fri Nov 26 22:36:24 2010 +0100
     1.3 @@ -46,7 +46,7 @@
     1.4  structure Meson : MESON =
     1.5  struct
     1.6  
     1.7 -val (trace, trace_setup) = Attrib.config_bool "trace_meson" (K false)
     1.8 +val (trace, trace_setup) = Attrib.config_bool "meson_trace" (K false)
     1.9  
    1.10  fun trace_msg ctxt msg = if Config.get ctxt trace then tracing (msg ()) else ()
    1.11