Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
eliminated "Trying to recover ..." msg;
authorwenzelm
Sun, 29 Nov 1998 13:15:17 +0100
changeset 5987 389d03e6e093
parent 5986 6ebbc9e7cc20
child 5988 1a2285f3db47
eliminated "Trying to recover ..." msg;
src/Pure/Syntax/scan.ML file | annotate | diff | comparison | revisions 
--- 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') =
isabelle