# HG changeset patch
# User wenzelm
# Date 1528057004 -7200
# Node ID 2549d7d4718acdf2de144bd8e337aea37c525ba0
# Parent  cd387c55e08508ba3e98756187e427cea43cc12a
proper function invocation with all arguments;

diff -r cd387c55e085 -r 2549d7d4718a src/Pure/PIDE/document.ML
--- a/src/Pure/PIDE/document.ML	Sun Jun 03 22:02:20 2018 +0200
+++ b/src/Pure/PIDE/document.ML	Sun Jun 03 22:16:44 2018 +0200
@@ -515,7 +515,7 @@
             if Symtab.defined required name orelse visible_node node orelse pending_result node then
               let
                 fun body () =
-                 (Execution.worker_task_active true;
+                 (Execution.worker_task_active true name;
                   if forall finished_import deps then
                     iterate_entries (fn (_, opt_exec) => fn () =>
                       (case opt_exec of
@@ -525,10 +525,10 @@
                           else NONE
                       | NONE => NONE)) node ()
                   else ();
-                  Execution.worker_task_active false)
+                  Execution.worker_task_active false name)
                   handle exn =>
                    (Output.system_message (Runtime.exn_message exn);
-                    Execution.worker_task_active false;
+                    Execution.worker_task_active false name;
                     Exn.reraise exn);
                 val future =
                   (singleton o Future.forks)