diff options
| -rw-r--r-- | sources/scala/Predef.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sources/scala/Predef.scala b/sources/scala/Predef.scala index 73970c81fc..035a178a15 100644 --- a/sources/scala/Predef.scala +++ b/sources/scala/Predef.scala @@ -33,6 +33,8 @@ object Predef { def exit: scala.Unit = System.exit(0); + def id[a](x: a): a = x; + def synchronized[A](obj: AnyRef)(def body: A) = scala.runtime.NativeMonitor.synchronised(obj, body); |