Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Sun, 16 Sep 2007 14:52:29 +0200
changeset 24595 5c290506fbc0
parent 24594 6689effe75d1
child 24596 f1333a841b26
tuned message;
src/Pure/General/scan.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/scan.ML	Sun Sep 16 14:52:28 2007 +0200
+++ b/src/Pure/General/scan.ML	Sun Sep 16 14:52:29 2007 +0200
@@ -221,7 +221,7 @@
 
 fun finite' (stopper, is_stopper) scan (state, input) =
   let
-    fun lost () = raise ABORT "Scanner bug: lost stopper of finite scan!";
+    fun lost () = raise ABORT "Bad scanner: lost stopper of finite scan!";
 
     fun stop [] = lost ()
       | stop lst =
isabelle