src/Pure/PIDE/command.ML
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