src/Pure/PIDE/command.ML

--- 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