src/Pure/Isar/outer_syntax.ML
changeset 7604 55566b9ec7d7
parent 7367 a79d4683fadf
child 7613 fe818734c387
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Sat Sep 25 13:18:20 1999 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Sat Sep 25 13:18:38 1999 +0200
     1.3 @@ -345,7 +345,8 @@
     1.4  fun isar term no_pos =
     1.5    Source.tty
     1.6    |> Symbol.source true
     1.7 -  |> OuterLex.source true get_lexicons (if no_pos then Position.none else Position.line_name 1 "stdin")
     1.8 +  |> OuterLex.source true get_lexicons
     1.9 +    (if no_pos then Position.none else Position.line_name 1 "stdin")
    1.10    |> source term true get_parser;
    1.11  
    1.12