From 9a3dc16d567b82bd066b74731c8f37507cc2393a Mon Sep 17 00:00:00 2001
From: Lukas Steiner <lsteiner@rhrk.uni-kl.de>
Date: Wed, 8 Jul 2020 09:08:32 +0200
Subject: [PATCH] Add RDA and WRA to RefreshManagerRankwise.

---
 .../library/src/controller/refresh/RefreshManagerRankwise.cpp   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DRAMSys/library/src/controller/refresh/RefreshManagerRankwise.cpp b/DRAMSys/library/src/controller/refresh/RefreshManagerRankwise.cpp
index 3d2eda97..98004383 100644
--- a/DRAMSys/library/src/controller/refresh/RefreshManagerRankwise.cpp
+++ b/DRAMSys/library/src/controller/refresh/RefreshManagerRankwise.cpp
@@ -147,7 +147,7 @@ void RefreshManagerRankwise::updateState(Command command, tlm_generic_payload *)
     case Command::ACT:
         activatedBanks++;
         break;
-    case Command::PRE:
+    case Command::PRE: case Command::RDA: case Command::WRA:
         activatedBanks--;
         break;
     case Command::PREA: