recover: ignore result;
authorwenzelm
Fri Dec 29 19:46:00 2000 +0100 (2000-12-29)
changeset 10749afdb47b97317
parent 10748 74ed77fa5310
child 10750 a681d3df1a39
recover: ignore result;
src/Pure/Isar/outer_syntax.ML
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Fri Dec 29 19:45:33 2000 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Fri Dec 29 19:46:00 2000 +0100
     1.3 @@ -237,7 +237,7 @@
     1.4    let
     1.5      val no_terminator =
     1.6        Scan.unless P.semicolon (Scan.one (T.not_sync andf T.not_eof));
     1.7 -    val recover = Scan.prompt "recover# " (Scan.repeat no_terminator);
     1.8 +    val recover = Scan.prompt "recover# " (Scan.repeat no_terminator) >> K [None];
     1.9    in
    1.10      src
    1.11      |> Source.source T.stopper