diff options
author | Martin Odersky <odersky@gmail.com> | 2008-02-08 18:28:09 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2008-02-08 18:28:09 +0000 |
commit | d3a71dbd88dd98006a893b35d52ad909c8cd10bb (patch) | |
tree | 6d5f7ceec3d52caf80789ad8d61f51ae2f006537 /src/library | |
parent | a176556bea2482d4c3c86a3604ec1eaa16d0daf1 (diff) | |
download | scala-d3a71dbd88dd98006a893b35d52ad909c8cd10bb.tar.gz scala-d3a71dbd88dd98006a893b35d52ad909c8cd10bb.tar.bz2 scala-d3a71dbd88dd98006a893b35d52ad909c8cd10bb.zip |
fixed missing deprecated warning on types; fixe...
fixed missing deprecated warning on types; fixed problem with traits in
refinements.
Diffstat (limited to 'src/library')
-rw-r--r-- | src/library/scala/Predef.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/library/scala/Predef.scala b/src/library/scala/Predef.scala index 5950a999fe..f196aafa8a 100644 --- a/src/library/scala/Predef.scala +++ b/src/library/scala/Predef.scala @@ -35,9 +35,9 @@ object Predef { type boolean = scala.Boolean type unit = scala.Unit - /** @deprecated use <code>Int</code> instead */ + /** @deprecated use <code>java.lang.Integer</code> instead */ @deprecated type Integer = java.lang.Integer - /** @deprecated use <code>Char</code> instead */ + /** @deprecated use <code>java.lang.Character</code> instead */ @deprecated type Character = java.lang.Character type String = java.lang.String |