# HG changeset patch
# User wenzelm
# Date 1248176568 -7200
# Node ID cb9adb13f892153c5d44d3d4a741665db8f16efa
# Parent  ad4be204fdfe3d42db554fc409dbe432877dfdbb
tuned;

diff -r ad4be204fdfe -r cb9adb13f892 src/Pure/Concurrent/future.ML
--- a/src/Pure/Concurrent/future.ML	Tue Jul 21 11:30:12 2009 +0200
+++ b/src/Pure/Concurrent/future.ML	Tue Jul 21 13:42:48 2009 +0200
@@ -324,12 +324,12 @@
         error "Cannot join future values within critical section";
 
       val worker = is_worker ();
+      val _ = if worker then join_deps (map task_of xs) else ();
+
       fun join_wait x =
         if SYNCHRONIZED "join_wait" (fn () =>
           is_finished x orelse (if worker then worker_wait () else wait (); false))
         then () else join_wait x;
-
-      val _ = if worker then join_deps (map task_of xs) else ();
       val _ = List.app join_wait xs;
 
     in map get_result xs end) ();