changeset 54512 | 78693e46a237 |
parent 54329 | 04df1d236e1c |
child 54541 | d598b6231ff7 |
1.1 --- a/src/Pure/PIDE/command.ML Tue Sep 03 01:12:40 2013 +0200 1.2 +++ b/src/Pure/PIDE/command.ML Tue Sep 03 11:29:01 2013 +0200 1.3 @@ -57,7 +57,7 @@ 1.4 (case expr of 1.5 Expr (exec_id, body) => 1.6 uninterruptible (fn restore_attributes => fn () => 1.7 - if Execution.running execution_id exec_id then 1.8 + if Execution.running execution_id exec_id [Future.the_worker_group ()] then 1.9 let 1.10 val res = 1.11 (body