changeset 57591 | 8c095aef6769 |
parent 57041 | aceaca232177 |
child 57592 | b73d74d0e428 |
--- a/src/Pure/Tools/simplifier_trace.ML Mon Jul 21 15:16:50 2014 +0200 +++ b/src/Pure/Tools/simplifier_trace.ML Mon Jul 21 16:04:45 2014 +0200 @@ -419,7 +419,7 @@ (Attrib.setup @{binding simp_break} (Scan.repeat Args.term_pattern >> breakpoint) "declaration of a simplifier breakpoint" #> - Attrib.setup @{binding simplifier_trace} (Scan.lift config_parser) + Attrib.setup @{binding simp_trace_new} (Scan.lift config_parser) "simplifier trace configuration") end