diff -r b2b5599b934f -r 55566b9ec7d7 src/Pure/Isar/outer_syntax.ML
--- a/src/Pure/Isar/outer_syntax.ML	Sat Sep 25 13:18:20 1999 +0200
+++ b/src/Pure/Isar/outer_syntax.ML	Sat Sep 25 13:18:38 1999 +0200
@@ -345,7 +345,8 @@
 fun isar term no_pos =
   Source.tty
   |> Symbol.source true
-  |> OuterLex.source true get_lexicons (if no_pos then Position.none else Position.line_name 1 "stdin")
+  |> OuterLex.source true get_lexicons
+    (if no_pos then Position.none else Position.line_name 1 "stdin")
   |> source term true get_parser;