src/Pure/Concurrent/future.scala

--- a/src/Pure/Concurrent/future.scala	Tue Nov 03 11:24:42 2015 +0100
+++ b/src/Pure/Concurrent/future.scala	Tue Nov 03 13:54:34 2015 +0100
@@ -18,7 +18,7 @@
 object Future
 {
   lazy val execution_context: ExecutionContextExecutor =
-    ExecutionContext.fromExecutorService(Simple_Thread.default_pool)
+    ExecutionContext.fromExecutorService(Standard_Thread.default_pool)
 
   def value[A](x: A): Future[A] = new Finished_Future(x)