diff options
Diffstat (limited to 'sources/scala/Monitor.scala')
| -rw-r--r-- | sources/scala/Monitor.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sources/scala/Monitor.scala b/sources/scala/Monitor.scala index e2841df582..5c2622f394 100644 --- a/sources/scala/Monitor.scala +++ b/sources/scala/Monitor.scala @@ -18,8 +18,8 @@ package scala; */ trait Monitor { - def synchronized[a](def p: a): a = - scala.runtime.NativeMonitor.synchronised(this, p); + def synchronized[a](def p: a): a = + scala.runtime.NativeMonitor.synchronised(this, p); - def await(def cond: Boolean) = while (!cond) { this.wait() } + def await(def cond: boolean) = while (false == cond) { wait() } } |