src/Pure/PIDE/command.ML
changeset 53375 78693e46a237
parent 53192 04df1d236e1c
child 53404 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