| changeset 7604 | 55566b9ec7d7 |
| parent 7367 | a79d4683fadf |
| child 7613 | fe818734c387 |
--- 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;