From 106ebd0ba3b35cd998885e3e5178af0abc4a6b62 Mon Sep 17 00:00:00 2001
From: lorch <lorch@epfl.ch>
Date: Thu, 4 Sep 2008 07:22:31 +0000
Subject: @deprecated tag

---
 src/library/scala/Random.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/library/scala/Random.scala b/src/library/scala/Random.scala
index bc7c1961a6..afb6bebcb8 100644
--- a/src/library/scala/Random.scala
+++ b/src/library/scala/Random.scala
@@ -14,7 +14,7 @@ package scala
 /**
  *  @author Stephane Micheloud
  *
- *  Use class <code>scala.util.Random</code> instead.
+ *  @deprecated Use class <code>scala.util.Random</code> instead.
  */
 @deprecated
 class Random(val self: java.util.Random) {
-- 
cgit v1.2.3