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.
recover: ignore result;
authorwenzelm
Fri, 29 Dec 2000 19:46:00 +0100
changeset 10749 afdb47b97317
parent 10748 74ed77fa5310
child 10750 a681d3df1a39
recover: ignore result;
src/Pure/Isar/outer_syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_syntax.ML	Fri Dec 29 19:45:33 2000 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Fri Dec 29 19:46:00 2000 +0100
@@ -237,7 +237,7 @@
   let
     val no_terminator =
       Scan.unless P.semicolon (Scan.one (T.not_sync andf T.not_eof));
-    val recover = Scan.prompt "recover# " (Scan.repeat no_terminator);
+    val recover = Scan.prompt "recover# " (Scan.repeat no_terminator) >> K [None];
   in
     src
     |> Source.source T.stopper
isabelle