1.1 --- a/src/Pure/General/symbol.scala	Sat Mar 17 17:36:10 2012 +0100
     1.2 +++ b/src/Pure/General/symbol.scala	Sat Mar 17 17:44:29 2012 +0100
     1.3 @@ -267,13 +267,13 @@
     1.4        val mapping =
     1.5          for {
     1.6            (sym, props) <- symbols
     1.7 -          val code =
     1.8 +          code =
     1.9              try { Integer.decode(props("code")).intValue }
    1.10              catch {
    1.11                case _: NoSuchElementException => error("Missing code for symbol " + sym)
    1.12                case _: NumberFormatException => error("Bad code for symbol " + sym)
    1.13              }
    1.14 -          val ch = new String(Character.toChars(code))
    1.15 +          ch = new String(Character.toChars(code))
    1.16          } yield {
    1.17            if (code < 128) error("Illegal ASCII code for symbol " + sym)
    1.18            else (sym, ch)