From 4baa04cfb6e0180d8fa97a3b48892b007bebdc0c Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Mon, 19 Jan 2004 15:06:21 +0000
Subject: - Changed scala.Unit to Unit

---
 sources/scala/Predef.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
cgit v1.2.3