src/Pure/Syntax/scan.ML
changeset 5987 389d03e6e093
parent 5869 b279a84ac11c
     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') =