changeset 5112 | 9e74cf11e4a4 |
parent 4938 | c8bbbf3c59fa |
child 5260 | 1835a591d3a7 |
--- a/src/Pure/Syntax/lexicon.ML Thu Jul 02 16:53:55 1998 +0200 +++ b/src/Pure/Syntax/lexicon.ML Thu Jul 02 17:26:47 1998 +0200 @@ -229,7 +229,7 @@ val scan_str = $$ "'" |-- $$ "'" |-- !! (fn (cs, _) => "Inner lexical error: malformed literal string at " ^ - quote ("''" ^ beginning cs)) + quote ("''" ^ Symbol.beginning cs)) (Scan.repeat scan_chr --| $$ "'" --| $$ "'");