src/Pure/Concurrent/simple_thread.scala

--- a/src/Pure/Concurrent/simple_thread.scala	Thu Apr 24 16:47:47 2014 +0200
+++ b/src/Pure/Concurrent/simple_thread.scala	Thu Apr 24 16:52:17 2014 +0200
@@ -46,11 +46,11 @@
 
   /* thread as actor */
 
-  def actor(name: String, daemon: Boolean = false)(body: => Unit): (Thread, 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 }
-    (thread, actor.join)
+    actor.join
   }
 }