diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-30 14:18:22 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-30 14:18:22 +0100 |
commit | 904f6c0f756167a1c67e279131b8480f800d94c8 (patch) | |
tree | 6e3b582c570f676233ac3e494f5c5ae15ce30234 /src/dotty/tools/dotc/util/FreshNameCreator.scala | |
parent | dfc1a54b614ad64045bcf35f98c030ab04c9f5f2 (diff) | |
download | dotty-904f6c0f756167a1c67e279131b8480f800d94c8.tar.gz dotty-904f6c0f756167a1c67e279131b8480f800d94c8.tar.bz2 dotty-904f6c0f756167a1c67e279131b8480f800d94c8.zip |
Replacing most occurrences of HashMap with AnyRefMap
Diffstat (limited to 'src/dotty/tools/dotc/util/FreshNameCreator.scala')
-rw-r--r-- | src/dotty/tools/dotc/util/FreshNameCreator.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/util/FreshNameCreator.scala b/src/dotty/tools/dotc/util/FreshNameCreator.scala index ff9f68290..521947895 100644 --- a/src/dotty/tools/dotc/util/FreshNameCreator.scala +++ b/src/dotty/tools/dotc/util/FreshNameCreator.scala @@ -16,7 +16,7 @@ trait FreshNameCreator { object FreshNameCreator { class Default extends FreshNameCreator { protected var counter = 0 - protected val counters = mutable.HashMap[String, Int]() withDefaultValue 0 + protected val counters = mutable.AnyRefMap[String, Int]() withDefaultValue 0 /** * Create a fresh name with the given prefix. It is guaranteed |