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/toplevel.ML
changeset 38236 d8c7be27e01d
parent 37977 3ceccd415145
child 38337 f6c1e169f51b
child 38350 480b2de9927c 
--- a/src/Pure/Isar/toplevel.ML	Sun Aug 08 14:22:54 2010 +0200
+++ b/src/Pure/Isar/toplevel.ML	Sun Aug 08 19:36:31 2010 +0200
@@ -571,7 +571,7 @@
   if print then
     ignore
       (Future.fork (fn () =>
-          setmp_thread_position tr (fn () => Future.report (fn () => print_state false st)) ()))
+          setmp_thread_position tr (fn () => Future.status (fn () => print_state false st)) ()))
   else ();
 
 fun error_msg tr exn_info =
isabelle