src/Pure/PIDE/document.ML

                       val node' = node
                         |> fold update_entry assigns
                         |> set_result result;
                     in ((assigns, execs, [(name, node')]), node') end)
               end))
-      |> Future.join_results |> Par_Exn.release_all |> map #1;
+      |> Future.joins |> map #1;
 
     val state' = state
       |> fold (fold define_exec o #2) updates
       |> define_version new_id (fold (fold put_node o #3) updates new_version);