# HG changeset patch
# User wenzelm
# Date 1285099287 -7200
# Node ID 0d5a32c1bf11acbc31eb1856a3649140ca192b20
# Parent  b75164153c3745e9465a86a148dff23947989ece
tuned;

diff -r b75164153c37 -r 0d5a32c1bf11 src/Pure/Concurrent/simple_thread.scala
--- a/src/Pure/Concurrent/simple_thread.scala	Tue Sep 21 21:53:15 2010 +0200
+++ b/src/Pure/Concurrent/simple_thread.scala	Tue Sep 21 22:01:27 2010 +0200
@@ -26,7 +26,10 @@
     thread
   }
 
-  /* future result */
+  def fork(body: => Unit): Thread = fork()(body)
+
+
+  /* future result via thread */
 
   def future[A](name: String = "", daemon: Boolean = false)(body: => A): Future[A] =
   {