diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/library/scala/concurrent/pilib.scala | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/library/scala/concurrent/pilib.scala b/src/library/scala/concurrent/pilib.scala index 9d8611383d..19cc8f836e 100644 --- a/src/library/scala/concurrent/pilib.scala +++ b/src/library/scala/concurrent/pilib.scala @@ -9,7 +9,7 @@ // $Id$ -package scala.concurrent; +package scala.concurrent /** @@ -181,11 +181,9 @@ object pilib { /** Pi-calculus non-deterministic choice. */ def choice[a](s: GP[a]*): a = { - val sum = Sum(s.asInstanceOf[List[GP[a]]] map { x => x.untyped }); + val sum = Sum(s.toList map { x => x.untyped }); synchronized { sums = compare(sum, sums) }; (sum.continue).asInstanceOf[a] } - } - |