Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/simplifier_trace.ML
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
isabelle