Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/outer_syntax.ML
changeset 10749 afdb47b97317
parent 9588 96059cbcb0eb
child 12876 a70df1e5bf10 
--- 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