diff options
-rw-r--r-- | sources/scala/Predef.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/Predef.scala b/sources/scala/Predef.scala index 4c7c22a16d..093330c3c5 100644 --- a/sources/scala/Predef.scala +++ b/sources/scala/Predef.scala @@ -44,7 +44,7 @@ object Predef { def error(message: String): All = throw new Error(message); - def exit: scala.Unit = java.lang.System.exit(0); + def exit: Unit = java.lang.System.exit(0); def assert(assertion: Boolean): Unit = { if (!assertion) |