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 1ebd88a5ac..97c7a0020a 100644 --- a/sources/scala/concurrent/pilib.scala +++ b/sources/scala/concurrent/pilib.scala @@ -18,8 +18,8 @@ object pilib with Monitor { } 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 <(def p: unit): Spawn = { scala.concurrent.ops.spawn(p); this } + def |(def p: unit): Spawn = { scala.concurrent.ops.spawn(p); this } def > : unit = () } |