src/Pure/PIDE/command.ML

     (fn () =>
       (span |> maps (fn tok =>
         check_error (fn () => Thy_Output.check_token_comments ctxt tok))) @
       (span |> maps (fn tok =>
         if Token.kind_of tok = Token.Comment (SOME Comment.Comment) then
-          check_error (fn () => Thy_Output.output_text ctxt {markdown = false} (Token.input_of tok))
+          check_error (fn () =>
+            Thy_Output.output_document ctxt {markdown = false} (Token.input_of tok))
         else [])))
     ();
 
 fun report tr m =
   Toplevel.setmp_thread_position tr (fn () => Output.report [Markup.markup_only m]) ();