src/Pure/PIDE/document.ML
changeset 39391 f1d6ede54862
parent 39238 7189a138dd6c
child 40390 5bc4336d9768
     1.1 --- a/src/Pure/PIDE/document.ML	Wed Sep 15 16:04:40 2010 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Wed Sep 15 16:06:52 2010 +0200
     1.3 @@ -204,10 +204,10 @@
     1.4  fun async_state tr st =
     1.5    if Toplevel.print_of tr then
     1.6      ignore
     1.7 -      (Future.fork
     1.8 +      (Future.fork_group (Task_Queue.new_group NONE)
     1.9          (fn () =>
    1.10            Toplevel.setmp_thread_position tr
    1.11 -            (fn () => Future.status (fn () => Toplevel.print_state false st)) ()))
    1.12 +            (fn () => Toplevel.print_state false st) ()))
    1.13    else ();
    1.14  
    1.15  in