changeset 53375 | 78693e46a237 |
parent 53192 | 04df1d236e1c |
child 53404 | d598b6231ff7 |
--- a/src/Pure/PIDE/command.ML Tue Sep 03 01:12:40 2013 +0200 +++ b/src/Pure/PIDE/command.ML Tue Sep 03 11:29:01 2013 +0200 @@ -57,7 +57,7 @@ (case expr of Expr (exec_id, body) => uninterruptible (fn restore_attributes => fn () => - if Execution.running execution_id exec_id then + if Execution.running execution_id exec_id [Future.the_worker_group ()] then let val res = (body