changeset 56672 | 172ae876de9f |
parent 56600 | 628e039cc34d |
child 56686 | 2386d1a3ca8f |
--- 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 }