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/General/source.ML
changeset 54387 890e983cb07b
parent 40627 becf5d5187cc
child 58850 1bb0ad7827b4 
--- a/src/Pure/General/source.ML	Mon Nov 11 18:37:56 2013 +0100
+++ b/src/Pure/General/source.ML	Mon Nov 11 20:00:53 2013 +0100
@@ -156,8 +156,9 @@
           NONE => drain (Scan.error scan) inp
         | SOME (interactive, recover) =>
             (drain (Scan.catch scan) inp handle Fail msg =>
-              (if interactive then Output.error_msg msg else ();
-                drain (Scan.unless (Scan.lift (Scan.one (Scan.is_stopper stopper))) (recover msg)) inp)));
+              (if interactive then Output.error_message msg else ();
+                drain (Scan.unless (Scan.lift (Scan.one (Scan.is_stopper stopper))) (recover msg))
+                  inp)));
   in (ys, (state', unget (xs', src'))) end;
 
 fun source' init_state stopper scan recover src =
isabelle