diff options
author | cremet <cremet@epfl.ch> | 2003-11-25 16:17:31 +0000 |
---|---|---|
committer | cremet <cremet@epfl.ch> | 2003-11-25 16:17:31 +0000 |
commit | 3e30fefb9d0444a8f5e9cdde8cf5a16a6a1989c4 (patch) | |
tree | abdbfcf865066a04d67c4108baf95639005bf69a | |
parent | 93fea4d99c64b1a1101d6489ca824c43f23d6227 (diff) | |
download | scala-3e30fefb9d0444a8f5e9cdde8cf5a16a6a1989c4.tar.gz scala-3e30fefb9d0444a8f5e9cdde8cf5a16a6a1989c4.tar.bz2 scala-3e30fefb9d0444a8f5e9cdde8cf5a16a6a1989c4.zip |
- Modified one line to overcome a bug.
-rw-r--r-- | sources/scala/concurrent/pilib.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/scala/concurrent/pilib.scala b/sources/scala/concurrent/pilib.scala index 8995b0fbfb..b45800eec7 100644 --- a/sources/scala/concurrent/pilib.scala +++ b/sources/scala/concurrent/pilib.scala @@ -16,8 +16,8 @@ object pilib with Monitor { def |(def p: unit): Spawn; def > : unit; } - //val spawn = new Spawn { - object spawn extends Spawn { // BUG ! + val spawn = new Spawn { + //object spawn extends Spawn { // BUG ! def <(def p: unit): Spawn = { ops.spawn(p); this } def |(def p: unit): Spawn = { ops.spawn(p); this } def > : unit = () |