--- a/src/Pure/Isar/token.ML Thu Aug 23 15:44:47 2012 +0200
+++ b/src/Pure/Isar/token.ML Thu Aug 23 17:46:03 2012 +0200
@@ -122,7 +122,7 @@
| InternalValue => "internal value"
| Error _ => "bad input"
| Sync => "sync marker"
- | EOF => "end-of-file";
+ | EOF => "end-of-input";
(* position *)