Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/parse.scala
changeset 48911 5debc3e4fa81
parent 48718 73e6c22e2d94
child 48912 ffdb37019b2f 
--- a/src/Pure/Isar/parse.scala	Thu Aug 23 15:44:47 2012 +0200
+++ b/src/Pure/Isar/parse.scala	Thu Aug 23 17:46:03 2012 +0200
@@ -29,7 +29,7 @@
       def apply(raw_input: Input) =
       {
         val in = proper(raw_input)
-        if (in.atEnd) Failure(s + " expected (past end-of-file!)", in)
+        if (in.atEnd) Failure(s + " expected,\nbut end-of-input was found", in)
         else {
           val token = in.first
           if (pred(token)) Success(token, proper(in.rest))
isabelle