diff options
-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 = () |