eliminated "Trying to recover ..." msg;
authorwenzelm
Sun Nov 29 13:15:17 1998 +0100 (1998-11-29)
changeset 5987389d03e6e093
parent 5986 6ebbc9e7cc20
child 5988 1a2285f3db47
eliminated "Trying to recover ..." msg;
src/Pure/Syntax/scan.ML
     1.1 --- a/src/Pure/Syntax/scan.ML	Sun Nov 29 13:14:45 1998 +0100
     1.2 +++ b/src/Pure/Syntax/scan.ML	Sun Nov 29 13:15:17 1998 +0100
     1.3 @@ -208,7 +208,7 @@
     1.4  
     1.5      fun drain_loop recover inp =
     1.6        drain_with (catch scanner) inp handle FAIL msg =>
     1.7 -        (error_msg (if_none msg "Syntax error."); error_msg "Trying to recover ...";
     1.8 +        (error_msg (if_none msg "Syntax error.");
     1.9            drain_loop recover (apfst snd (drain_with recover inp)));
    1.10  
    1.11      val ((ys, (state', xs')), src') =