src/Pure/Isar/toplevel.ML

--- a/src/Pure/Isar/toplevel.ML	Tue Jul 20 23:16:21 2010 +0200
+++ b/src/Pure/Isar/toplevel.ML	Wed Jul 21 13:25:14 2010 +0200
@@ -567,8 +567,7 @@
 fun async_state (tr as Transition {print, ...}) st =
   if print then
     ignore
-      (Future.fork_group (Task_Queue.new_group (Future.worker_group ()))
-        (fn () =>
+      (Future.fork (fn () =>
           setmp_thread_position tr (fn () => Future.report (fn () => print_state false st)) ()))
   else ();