src/Pure/Isar/outer_syntax.scala
changeset 34264 b5025782a4ed
parent 34166 446a33b874b3
child 36947 285b39022372
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Tue Jan 05 15:43:44 2010 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Tue Jan 05 15:44:06 2010 +0100
     1.3 @@ -45,7 +45,7 @@
     1.4  
     1.5      parseAll(rep(token(symbols, is_command)), input) match {
     1.6        case Success(tokens, _) => tokens
     1.7 -      case _ => error("Failed to tokenize input:\n" + input.source.toString)
     1.8 +      case _ => error("Unexpected failure of tokenizing input:\n" + input.source.toString)
     1.9      }
    1.10    }
    1.11