diff options
Diffstat (limited to 'sources/scala/concurrent/pilib.scala')
-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 724268fce8..635fa4ddbc 100644 --- a/sources/scala/concurrent/pilib.scala +++ b/sources/scala/concurrent/pilib.scala @@ -3,7 +3,7 @@ package scala.concurrent; /** * Library for using Pi-calculus concurrent primitives in Scala. */ -object pilib with Monitor { +object pilib { /////////////////////////// SPAWN ////////////////////////////// @@ -92,7 +92,7 @@ object pilib with Monitor { //////////////////// SUM OF GUARDED PROCESSES ////////////////////// - case class Sum(gs: List[UGP]) with Monitor { + case class Sum(gs: List[UGP]) { /** Continuation of the sum. */ var cont: () => Any = _; |