diff -r f2f53f7046f4 -r aa4631879df8 src/Pure/Concurrent/simple_thread.scala
--- a/src/Pure/Concurrent/simple_thread.scala	Thu Apr 24 22:10:00 2014 +0200
+++ b/src/Pure/Concurrent/simple_thread.scala	Thu Apr 24 22:20:36 2014 +0200
@@ -10,8 +10,6 @@
 
 import java.lang.Thread
 
-import scala.actors.Actor
-
 
 object Simple_Thread
 {
@@ -42,15 +40,5 @@
     val thread = fork(name, daemon) { result.fulfill_result(Exn.capture(body)) }
     (thread, result)
   }
-
-
-  /* thread as actor */
-
-  def actor(name: String, daemon: Boolean = false)(body: => Unit): Actor =
-  {
-    val actor = Future.promise[Actor]
-    val thread = fork(name, daemon) { actor.fulfill(Actor.self); body }
-    actor.join
-  }
 }