changeset 14729 | 0e987111a17e |
parent 10748 | 74ed77fa5310 |
child 14981 | e73f8140af78 |
--- a/src/Pure/Isar/outer_lex.ML Mon May 10 19:26:25 2004 +0200 +++ b/src/Pure/Isar/outer_lex.ML Mon May 10 19:26:42 2004 +0200 @@ -264,7 +264,7 @@ Syntax.scan_nat >> token Nat || scan_symid >> token SymIdent)) end) >> #2; - in !! (lex_err (fn cs => "bad input " ^ quote (Symbol.beginning cs))) scanner end; + in !! (lex_err (fn cs => "bad input " ^ quote (Symbol.beginning 10 cs))) scanner end; (* token sources *)