author | wenzelm |
Sun, 29 Nov 1998 13:15:17 +0100 | |
changeset 5987 | 389d03e6e093 |
parent 5986 | 6ebbc9e7cc20 |
child 5988 | 1a2285f3db47 |
--- a/src/Pure/Syntax/scan.ML Sun Nov 29 13:14:45 1998 +0100 +++ b/src/Pure/Syntax/scan.ML Sun Nov 29 13:15:17 1998 +0100 @@ -208,7 +208,7 @@ fun drain_loop recover inp = drain_with (catch scanner) inp handle FAIL msg => - (error_msg (if_none msg "Syntax error."); error_msg "Trying to recover ..."; + (error_msg (if_none msg "Syntax error."); drain_loop recover (apfst snd (drain_with recover inp))); val ((ys, (state', xs')), src') =