# HG changeset patch
# User wenzelm
# Date 1553451462 -3600
# Node ID 4e98239aa08375bafed41425e104422a3925f894
# Parent  b5a47478897a279957fcc0f5ef7ee4af8bc577f7
clarified markup;

diff -r b5a47478897a -r 4e98239aa083 src/Pure/Syntax/syntax.ML
--- 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