src/Pure/Concurrent/par_list.ML

--- a/src/Pure/Concurrent/par_list.ML	Fri Aug 19 15:56:26 2011 +0200
+++ b/src/Pure/Concurrent/par_list.ML	Fri Aug 19 16:13:26 2011 +0200
@@ -34,7 +34,7 @@
   then map (Exn.capture f) xs
   else
     let
-      val group = Task_Queue.new_group (Future.worker_group ());
+      val group = Future.new_group (Future.worker_group ());
       val futures =
         Future.forks {name = name, group = SOME group, deps = [], pri = 0, interrupts = true}
           (map (fn x => fn () => f x) xs);