# HG changeset patch
# User wenzelm
# Date 1458214332 -3600
# Node ID 285308563814e4ab5037320c4c58be56a785a163
# Parent  bb29cc00c31feb73189b1bb349204f8d01c3caf9
unused;

diff -r bb29cc00c31f -r 285308563814 src/Pure/Concurrent/standard_thread.scala
--- a/src/Pure/Concurrent/standard_thread.scala	Thu Mar 17 10:54:28 2016 +0100
+++ b/src/Pure/Concurrent/standard_thread.scala	Thu Mar 17 12:32:12 2016 +0100
@@ -11,8 +11,6 @@
 import java.lang.Thread
 import java.util.concurrent.{ThreadPoolExecutor, TimeUnit, LinkedBlockingQueue, ThreadFactory}
 
-import scala.concurrent.{ExecutionContext, ExecutionContextExecutor}
-
 
 object Standard_Thread
 {
@@ -50,9 +48,6 @@
       executor
     }
 
-  lazy val execution_context: ExecutionContextExecutor =
-    ExecutionContext.fromExecutorService(pool)
-
 
   /* delayed events */