src/Pure/Isar/parse.scala
changeset 48911 5debc3e4fa81
parent 48718 73e6c22e2d94
child 48912 ffdb37019b2f
     1.1 --- a/src/Pure/Isar/parse.scala	Thu Aug 23 15:44:47 2012 +0200
     1.2 +++ b/src/Pure/Isar/parse.scala	Thu Aug 23 17:46:03 2012 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4        def apply(raw_input: Input) =
     1.5        {
     1.6          val in = proper(raw_input)
     1.7 -        if (in.atEnd) Failure(s + " expected (past end-of-file!)", in)
     1.8 +        if (in.atEnd) Failure(s + " expected,\nbut end-of-input was found", in)
     1.9          else {
    1.10            val token = in.first
    1.11            if (pred(token)) Success(token, proper(in.rest))