--- a/src/Pure/Isar/outer_syntax.ML Sat Nov 01 15:35:40 2014 +0100
+++ b/src/Pure/Isar/outer_syntax.ML Sat Nov 01 18:46:48 2014 +0100
@@ -236,13 +236,13 @@
fun scan lexs pos =
Source.of_string #>
Symbol.source #>
- Token.source {do_recover = SOME false} (K lexs) pos #>
+ Token.source {do_recover = true} (K lexs) pos #>
Source.exhaust;
fun parse (lexs, syntax) pos str =
Source.of_string str
|> Symbol.source
- |> Token.source {do_recover = SOME false} (K lexs) pos
+ |> Token.source {do_recover = true} (K lexs) pos
|> commands_source syntax
|> Source.exhaust;