src/Pure/Concurrent/future.scala

--- a/src/Pure/Concurrent/future.scala	Fri May 01 15:33:43 2015 +0200
+++ b/src/Pure/Concurrent/future.scala	Sun May 03 00:01:10 2015 +0200
@@ -26,7 +26,7 @@
     new Pending_Future(Scala_Future[A](body)(execution_context))
 
   def promise[A]: Promise[A] =
-    new Promise_Future[A](Scala_Promise[A])
+    new Promise_Future[A](Scala_Promise[A]())
 }
 
 trait Future[A]
@@ -90,4 +90,3 @@
     }
   def fulfill(x: A): Unit = promise.success(x)
 }
-