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