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/General/scan.ML
changeset 24595 5c290506fbc0
parent 24025 77e3e5781a99
child 25999 f8bcd311d501 
--- 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