tuned message;
authorwenzelm
Sun Sep 16 14:52:29 2007 +0200 (2007-09-16)
changeset 245955c290506fbc0
parent 24594 6689effe75d1
child 24596 f1333a841b26
tuned message;
src/Pure/General/scan.ML
     1.1 --- a/src/Pure/General/scan.ML	Sun Sep 16 14:52:28 2007 +0200
     1.2 +++ b/src/Pure/General/scan.ML	Sun Sep 16 14:52:29 2007 +0200
     1.3 @@ -221,7 +221,7 @@
     1.4  
     1.5  fun finite' (stopper, is_stopper) scan (state, input) =
     1.6    let
     1.7 -    fun lost () = raise ABORT "Scanner bug: lost stopper of finite scan!";
     1.8 +    fun lost () = raise ABORT "Bad scanner: lost stopper of finite scan!";
     1.9  
    1.10      fun stop [] = lost ()
    1.11        | stop lst =