--- a/src/Pure/PIDE/command.ML Tue Dec 12 18:53:40 2017 +0100
+++ b/src/Pure/PIDE/command.ML Wed Dec 13 16:18:40 2017 +0100
@@ -199,7 +199,7 @@
Toplevel.setmp_thread_position tr
(fn () =>
Outer_Syntax.side_comments span |> maps (fn cmt =>
- (Thy_Output.output_text st' {markdown = false, positions = false} (Token.input_of cmt); [])
+ (Thy_Output.output_text st' {markdown = false} (Token.input_of cmt); [])
handle exn =>
if Exn.is_interrupt exn then Exn.reraise exn
else Runtime.exn_messages exn)) ();