diff options
Diffstat (limited to 'sources')
| -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 4cf39c990a..8995b0fbfb 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 = () |