diff options
author | cremet <cremet@epfl.ch> | 2004-01-06 14:13:05 +0000 |
---|---|---|
committer | cremet <cremet@epfl.ch> | 2004-01-06 14:13:05 +0000 |
commit | fec2e00d09984810e0dff2e7d2db57bcaf5747e5 (patch) | |
tree | f91c401cc77e02e9363e98209ebd9987b8951f3c | |
parent | 22499e81b5526b8f8713fc5703d785d12439fef4 (diff) | |
download | scala-fec2e00d09984810e0dff2e7d2db57bcaf5747e5.tar.gz scala-fec2e00d09984810e0dff2e7d2db57bcaf5747e5.tar.bz2 scala-fec2e00d09984810e0dff2e7d2db57bcaf5747e5.zip |
- Minor change.
-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 = () } |