diff options
author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-03-03 16:14:04 +0000 |
---|---|---|
committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-03-03 16:14:04 +0000 |
commit | 6bdf9ef7f13e9fdff42a1ecd1ff3307a08391b94 (patch) | |
tree | 77a833e26b8a34e4ecb3170fc9fa9948a67249be /src | |
parent | 3d62db6fdd354e07deae1b762065cc76a4bd888c (diff) | |
download | scala-6bdf9ef7f13e9fdff42a1ecd1ff3307a08391b94.tar.gz scala-6bdf9ef7f13e9fdff42a1ecd1ff3307a08391b94.tar.bz2 scala-6bdf9ef7f13e9fdff42a1ecd1ff3307a08391b94.zip |
Strings are immutable, so new String(string) is...
Strings are immutable, so new String(string) is redundant.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/io/AladdinReader.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/io/AladdinReader.scala b/src/compiler/scala/tools/nsc/io/AladdinReader.scala index 33c7b0d844..cf09fc0689 100644 --- a/src/compiler/scala/tools/nsc/io/AladdinReader.scala +++ b/src/compiler/scala/tools/nsc/io/AladdinReader.scala @@ -74,7 +74,7 @@ class AladdinReader(decoder: CharsetDecoder) extends SourceReader(decoder) { if(!wellformed(content)) throw FatalError("content should just be a bug identifier, like \"#1023\"") - var bugURL = ALADDIN_URL + new String(content).trim().substring(1) + var bugURL = ALADDIN_URL + content.trim().substring(1) try { new java.net.URL(bugURL).getContent().asInstanceOf[Array[Char]] } catch { |