# HG changeset patch
# User wenzelm
# Date 1398255368 -7200
# Node ID 172ae876de9fea81196a46989f1bb31a44c0be57
# Parent  06853449cf0a94fc598c6bea8a3494efaf251508
updated according to scala-2.11.0 recommendations;

diff -r 06853449cf0a -r 172ae876de9f src/Pure/library.scala
--- a/src/Pure/library.scala	Wed Apr 23 13:28:32 2014 +0200
+++ b/src/Pure/library.scala	Wed Apr 23 14:16:08 2014 +0200
@@ -186,5 +186,5 @@
     new java.util.concurrent.Callable[A] { def call = f() }
 
   val default_thread_pool =
-    scala.collection.parallel.ThreadPoolTasks.defaultThreadPool
+    scala.collection.parallel.ForkJoinTasks.defaultForkJoinPool
 }