diff options
Diffstat (limited to 'sources/scala/Monitor.scala')
| -rw-r--r-- | sources/scala/Monitor.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sources/scala/Monitor.scala b/sources/scala/Monitor.scala index 168f72a6ca..08e6201612 100644 --- a/sources/scala/Monitor.scala +++ b/sources/scala/Monitor.scala @@ -11,7 +11,8 @@ package scala; trait Monitor { - def synchronized[a](def p: a): a = 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() } } |