From 17c14587cb67eaed4e9e3fe7387d944d3d1a0e8f Mon Sep 17 00:00:00 2001
From: mihaylov <mihaylov@epfl.ch>
Date: Tue, 14 Nov 2006 17:11:16 +0000
Subject: Use scala.runtime.Nothing$/Null$ instead of sca...

Use scala.runtime.Nothing$/Null$ instead of scala.Nothing$/Null$. The
latter should be removed after bootstrapping
---
 src/library/scala/All$.scala | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/library/scala/All$.scala')

diff --git a/src/library/scala/All$.scala b/src/library/scala/All$.scala
index 6c71dd5ce6..cab25048c2 100644
--- a/src/library/scala/All$.scala
+++ b/src/library/scala/All$.scala
@@ -13,6 +13,10 @@ package scala
 
 
 /**
+ * @deprecated <i>To be removed at some time in the future. Kept only for
+ * backward compatibility. Newly compiled code will refer to
+ * <code>scala.runtime.Nothing$</code></i>
+ *
  * Dummy class which exist only to satisfy the JVM. It corresponds
  * to <code>scala.All</code>. If such type appears in method
  * signatures, it is erased to this one.
-- 
cgit v1.2.3