src/Pure/Isar/toplevel.ML
changeset 37690 b16231572c61
parent 37688 9f047b2cfc72
child 37711 f1ea60bb7754
     1.1 --- a/src/Pure/Isar/toplevel.ML	Sun Jul 04 00:05:32 2010 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Sun Jul 04 21:01:22 2010 +0200
     1.3 @@ -563,8 +563,8 @@
     1.4  
     1.5  fun async_state (tr as Transition {print, ...}) st =
     1.6    if print then
     1.7 -    ignore (Future.fork_group (Task_Queue.new_group (Future.worker_group ())) (fn () =>
     1.8 -      setmp_thread_position tr (fn () => print_state false st) ()))
     1.9 +    ignore (Future.fork_group (Task_Queue.new_group (Future.worker_group ()))
    1.10 +      (fn () => Future.report (setmp_thread_position tr (fn () => print_state false st))))
    1.11    else ();
    1.12  
    1.13  fun error_msg tr exn_info =