diff options
| author | Jack Koenig | 2018-10-31 14:33:29 -0700 |
|---|---|---|
| committer | Jack Koenig | 2018-10-31 15:22:26 -0700 |
| commit | 8d599182114306f77d098ba7effa836328b1e802 (patch) | |
| tree | 3de2575b57b66fbd99239e565f9f9d69283809d9 /src/main/scala/firrtl/RenameMap.scala | |
| parent | bd6065b07b2c4de8cbb127a962bbfb8507f049c3 (diff) | |
Use Vector instead of List for bulk renaming in RenameMap
Diffstat (limited to 'src/main/scala/firrtl/RenameMap.scala')
| -rw-r--r-- | src/main/scala/firrtl/RenameMap.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/firrtl/RenameMap.scala b/src/main/scala/firrtl/RenameMap.scala index e95260af..c41f15b9 100644 --- a/src/main/scala/firrtl/RenameMap.scala +++ b/src/main/scala/firrtl/RenameMap.scala @@ -308,7 +308,7 @@ final class RenameMap private () { case (x, Seq(y)) if x == y => case _ => tos.foreach{recordSensitivity(from, _)} - val existing = underlying.getOrElse(from, Seq.empty) + val existing = underlying.getOrElse(from, Vector.empty) val updated = existing ++ tos underlying(from) = updated getCache.clear() |