unused;
authorwenzelm
Thu Mar 17 12:32:12 2016 +0100 (2016-03-17)
changeset 62660285308563814
parent 62659 bb29cc00c31f
child 62661 c23ff2f45a18
unused;
src/Pure/Concurrent/standard_thread.scala
     1.1 --- a/src/Pure/Concurrent/standard_thread.scala	Thu Mar 17 10:54:28 2016 +0100
     1.2 +++ b/src/Pure/Concurrent/standard_thread.scala	Thu Mar 17 12:32:12 2016 +0100
     1.3 @@ -11,8 +11,6 @@
     1.4  import java.lang.Thread
     1.5  import java.util.concurrent.{ThreadPoolExecutor, TimeUnit, LinkedBlockingQueue, ThreadFactory}
     1.6  
     1.7 -import scala.concurrent.{ExecutionContext, ExecutionContextExecutor}
     1.8 -
     1.9  
    1.10  object Standard_Thread
    1.11  {
    1.12 @@ -50,9 +48,6 @@
    1.13        executor
    1.14      }
    1.15  
    1.16 -  lazy val execution_context: ExecutionContextExecutor =
    1.17 -    ExecutionContext.fromExecutorService(pool)
    1.18 -
    1.19  
    1.20    /* delayed events */
    1.21