--- a/src/Pure/Tools/simplifier_trace.ML Wed Dec 06 15:46:35 2017 +0100
+++ b/src/Pure/Tools/simplifier_trace.ML Wed Dec 06 18:59:33 2017 +0100
@@ -438,10 +438,10 @@
(fn (((interactive, mode), depth), memory) => config mode interactive depth memory)
val _ = Theory.setup
- (Attrib.setup @{binding simp_break}
+ (Attrib.setup \<^binding>\<open>simp_break\<close>
(Scan.repeat Args.term_pattern >> breakpoint)
"declaration of a simplifier breakpoint" #>
- Attrib.setup @{binding simp_trace_new} (Scan.lift config_parser)
+ Attrib.setup \<^binding>\<open>simp_trace_new\<close> (Scan.lift config_parser)
"simplifier trace configuration")
end