tuned message;
authorwenzelm
Tue Jan 05 15:44:06 2010 +0100 (2010-01-05)
changeset 34264b5025782a4ed
parent 34263 2cb1530c2691
child 34265 dc932fc1b906
tuned message;
src/Pure/Isar/outer_syntax.scala
     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