src/Pure/General/symbol.scala

--- a/src/Pure/General/symbol.scala	Sat Mar 17 17:36:10 2012 +0100
+++ b/src/Pure/General/symbol.scala	Sat Mar 17 17:44:29 2012 +0100
@@ -267,13 +267,13 @@
       val mapping =
         for {
           (sym, props) <- symbols
-          val code =
+          code =
             try { Integer.decode(props("code")).intValue }
             catch {
               case _: NoSuchElementException => error("Missing code for symbol " + sym)
               case _: NumberFormatException => error("Bad code for symbol " + sym)
             }
-          val ch = new String(Character.toChars(code))
+          ch = new String(Character.toChars(code))
         } yield {
           if (code < 128) error("Illegal ASCII code for symbol " + sym)
           else (sym, ch)