src/Pure/Isar/outer_syntax.scala
changeset 60215 5fb4990dfc73
parent 59939 7d46aa03696e
child 60692 896704918a1f
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Fri May 01 15:33:43 2015 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Sun May 03 00:01:10 2015 +0200
     1.3 @@ -33,7 +33,7 @@
     1.4            result += '\\'
     1.5            if (c < 10) result += '0'
     1.6            if (c < 100) result += '0'
     1.7 -          result ++= (c.asInstanceOf[Int].toString)
     1.8 +          result ++= c.asInstanceOf[Int].toString
     1.9          }
    1.10          else result += c
    1.11        }