diff options
Diffstat (limited to 'sources/scala/Monitor.scala')
-rw-r--r-- | sources/scala/Monitor.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/Monitor.scala b/sources/scala/Monitor.scala index 927f323986..98e3a5e330 100644 --- a/sources/scala/Monitor.scala +++ b/sources/scala/Monitor.scala @@ -1,6 +1,6 @@ package scala; -class Monitor() extends NativeMonitor() with { +class Monitor() extends NativeMonitor() { def synchronized[a](def p: a): a = synchronised(p); |