src/Pure/PIDE/command.ML

--- a/src/Pure/PIDE/command.ML	Wed Mar 25 10:59:28 2015 +0100
+++ b/src/Pure/PIDE/command.ML	Wed Mar 25 11:39:52 2015 +0100
@@ -181,7 +181,7 @@
   Toplevel.setmp_thread_position tr
     (fn () =>
       Outer_Syntax.side_comments span |> maps (fn cmt =>
-        (Thy_Output.check_text (Token.source_position_of cmt) st'; [])
+        (Thy_Output.check_text (Token.input_of cmt) st'; [])
           handle exn =>
             if Exn.is_interrupt exn then reraise exn
             else Runtime.exn_messages_ids exn)) ();