src/Pure/Tools/simplifier_trace.ML
changeset 54731 384ac33802b0
parent 54730 de2d99b459b3
child 55316 885500f4aa6a
     1.1 --- a/src/Pure/Tools/simplifier_trace.ML	Thu Dec 12 21:28:13 2013 +0100
     1.2 +++ b/src/Pure/Tools/simplifier_trace.ML	Thu Dec 12 22:38:25 2013 +0100
     1.3 @@ -18,7 +18,7 @@
     1.4    Attrib.setup_config_bool @{binding simp_trace_test} (K false)
     1.5  
     1.6  val _ = Theory.setup
     1.7 -  (Simplifier.map_theory_simpset (Simplifier.set_trace_ops
     1.8 +  (Simplifier.set_trace_ops
     1.9     {trace_invoke = fn {depth, term} => fn ctxt =>
    1.10        (if Config.get ctxt simp_trace_test then
    1.11          tracing ("Simplifier invocation " ^ string_of_int depth ^ ": " ^
    1.12 @@ -27,7 +27,7 @@
    1.13      trace_apply = fn args => fn ctxt => fn cont =>
    1.14        (if Config.get ctxt simp_trace_test then
    1.15          tracing ("Simplifier " ^ @{make_string} args)
    1.16 -       else (); cont ctxt)}))
    1.17 +       else (); cont ctxt)})
    1.18  
    1.19  
    1.20  (* PIDE protocol *)