Use the new syntax for def parameters

2 files changed, 2 insertions, 2 deletions

diff --git a/sources/examples/pilib/rwlock.scala b/sources/examples/pilib/rwlock.scala
index 3b6ba70460..0ed0f71a47 100644
--- a/sources/examples/pilib/rwlock.scala
+++ b/sources/examples/pilib/rwlock.scala
@@ -66,7 +66,7 @@ object rwlock {
       }
     }
 
-    def await(def cond: boolean): unit = while (false == cond) (Wait)
+    def await(cond: => boolean): unit = while (false == cond) (Wait)
   }
 
   /*
diff --git a/sources/examples/pilib/semaphore.scala b/sources/examples/pilib/semaphore.scala
index e41a5de024..cfb0c8e5a2 100644
--- a/sources/examples/pilib/semaphore.scala
+++ b/sources/examples/pilib/semaphore.scala
@@ -50,7 +50,7 @@ object semaphore {
   def main(args: Array[String]): unit = {
     val random = new java.util.Random();
     val sem = new Sem2;
-    def mutex(def p: unit): unit = { sem.get; p; sem.release }
+    def mutex(p: => unit): unit = { sem.get; p; sem.release }
 
     spawn< {
       Thread.sleep(1 + random.nextInt(100));