src/Pure/Isar/antiquote.ML
changeset 23677 1114cc909800
parent 22114 560c5b5dda1c
child 23784 75e6b9dd5336
     1.1 --- a/src/Pure/Isar/antiquote.ML	Mon Jul 09 23:12:42 2007 +0200
     1.2 +++ b/src/Pure/Isar/antiquote.ML	Mon Jul 09 23:12:44 2007 +0200
     1.3 @@ -86,7 +86,7 @@
     1.4      val res =
     1.5        Source.of_string s
     1.6        |> Symbol.source false
     1.7 -      |> T.source false (K (lex, Scan.empty_lexicon)) pos
     1.8 +      |> T.source NONE (K (lex, Scan.empty_lexicon)) pos
     1.9        |> T.source_proper
    1.10        |> Source.source T.stopper (Scan.error (Scan.bulk antiq)) NONE
    1.11        |> Source.exhaust;