--- a/src/Pure/Thy/thy_output.ML Sun Mar 24 17:24:24 2019 +0100
+++ b/src/Pure/Thy/thy_output.ML Sun Mar 24 17:33:11 2019 +0100
@@ -161,7 +161,7 @@
val pos = #1 (Symbol_Pos.range syms);
val _ =
comment |> Option.app (fn kind =>
- Context_Position.reports ctxt (map (pair pos) (Markup.cartouche :: Comment.markups kind)));
+ Context_Position.reports ctxt (map (pair pos) (Comment.kind_markups kind)));
val _ = output_comment_symbols ctxt {antiq = false} (comment, syms);
in if comment = SOME Comment.Comment then check_comments ctxt syms else () end);