--- a/src/Pure/Syntax/syntax.ML Sun Mar 24 18:38:42 2019 +0100
+++ b/src/Pure/Syntax/syntax.ML Sun Mar 24 19:17:42 2019 +0100
@@ -202,7 +202,9 @@
val source = input_source tree;
val syms = Input.source_explode source;
val pos = Input.pos_of source;
- val _ = Context_Position.report ctxt pos (markup (Input.is_delimited source));
+ val _ =
+ Context_Position.reports ctxt
+ [(pos, Markup.cartouche), (pos, markup (Input.is_delimited source))];
val _ =
if Options.default_bool "update_inner_syntax_cartouches" then
Context_Position.report_text ctxt