src/Pure/Isar/antiquote.ML

--- a/src/Pure/Isar/antiquote.ML	Mon Jul 09 23:12:42 2007 +0200
+++ b/src/Pure/Isar/antiquote.ML	Mon Jul 09 23:12:44 2007 +0200
@@ -86,7 +86,7 @@
     val res =
       Source.of_string s
       |> Symbol.source false
-      |> T.source false (K (lex, Scan.empty_lexicon)) pos
+      |> T.source NONE (K (lex, Scan.empty_lexicon)) pos
       |> T.source_proper
       |> Source.source T.stopper (Scan.error (Scan.bulk antiq)) NONE
       |> Source.exhaust;