src/Pure/Isar/token.scala
changeset 62103 3b61d05eadad
parent 60692 896704918a1f
child 62969 9f394a16c557
     1.1 --- a/src/Pure/Isar/token.scala	Fri Jan 08 16:37:56 2016 +0100
     1.2 +++ b/src/Pure/Isar/token.scala	Fri Jan 08 17:17:43 2016 +0100
     1.3 @@ -61,7 +61,7 @@
     1.4      private def other_token(keywords: Keyword.Keywords): Parser[Token] =
     1.5      {
     1.6        val letdigs1 = many1(Symbol.is_letdig)
     1.7 -      val sub = one(s => s == Symbol.sub_decoded || s == "\\<^sub>")
     1.8 +      val sub = one(s => s == Symbol.sub_decoded || s == Symbol.sub)
     1.9        val id =
    1.10          one(Symbol.is_letter) ~
    1.11            (rep(letdigs1 | (sub ~ letdigs1 ^^ { case x ~ y => x + y })) ^^ (_.mkString)) ^^