src/Pure/PIDE/command.ML

--- a/src/Pure/PIDE/command.ML	Thu Oct 15 22:25:57 2015 +0200
+++ b/src/Pure/PIDE/command.ML	Fri Oct 16 10:11:20 2015 +0200
@@ -193,7 +193,7 @@
   Toplevel.setmp_thread_position tr
     (fn () =>
       Outer_Syntax.side_comments span |> maps (fn cmt =>
-        (Thy_Output.check_text (Token.input_of cmt) st'; [])
+        (Thy_Output.output_text st' {markdown = false} (Token.input_of cmt); [])
           handle exn =>
             if Exn.is_interrupt exn then reraise exn
             else Runtime.exn_messages_ids exn)) ();