diff options
| author | Iulian Dragos <jaguarul@gmail.com> | 2007-11-14 09:57:47 +0000 |
|---|---|---|
| committer | Iulian Dragos <jaguarul@gmail.com> | 2007-11-14 09:57:47 +0000 |
| commit | bd931b3fcf591c8b7e460f72ec058699b99ad4a1 (patch) | |
| tree | c1e03f76efb2e14a90375fb1c0901ea4a1bbd63c /src/compiler | |
| parent | fbd2eae173143b6b9a45283b09377cc12af31159 (diff) | |
| download | scala-bd931b3fcf591c8b7e460f72ec058699b99ad4a1.tar.gz scala-bd931b3fcf591c8b7e460f72ec058699b99ad4a1.tar.bz2 scala-bd931b3fcf591c8b7e460f72ec058699b99ad4a1.zip | |
Fixed 1.4 incompatibility
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/scala/tools/nsc/util/FreshNameCreator.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/util/FreshNameCreator.scala b/src/compiler/scala/tools/nsc/util/FreshNameCreator.scala index 72be4c4ecd..08641d365a 100644 --- a/src/compiler/scala/tools/nsc/util/FreshNameCreator.scala +++ b/src/compiler/scala/tools/nsc/util/FreshNameCreator.scala @@ -25,7 +25,7 @@ object FreshNameCreator { * call to this function (provided the prefix does not end in a digit). */ def newName(prefix: String): String = { - val safePrefix = prefix.replace("<", "$").replace(">", "$") + val safePrefix = prefix.replace('<', '$').replace('>', '$') val count = counters.getOrElse(safePrefix, 0) + 1 counters(safePrefix) = count safePrefix + count @@ -37,4 +37,4 @@ object FreshNameCreator { "$" + counter + "$" } } -}
\ No newline at end of file +} |