From 5ae0e0f1ddfb52b9c3ecef6e8fcc19ba00597545 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Wed, 22 Jul 2020 11:44:20 -0700
Subject: [PATCH] Bug fix

---
 execution.cc | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/execution.cc b/execution.cc
index ce9fa35b..53b6bccf 100644
--- a/execution.cc
+++ b/execution.cc
@@ -1198,8 +1198,12 @@ ClockVector * ModelExecution::get_hb_from_write(ModelAction *rf) const {
 				else
 					(vec=new ClockVector(vec, NULL))->merge(rf->get_last_fence_release()->get_cv());
 			} else {
-				if (vec == NULL && rf->is_rmw()) {
-					vec = new ClockVector(NULL, NULL);
+				if (vec == NULL) {
+					if (rf->is_rmw()) {
+						vec = new ClockVector(NULL, NULL);
+					}
+				} else {
+					vec = new ClockVector(vec, NULL);
 				}
 			}
 			rf->set_rfcv(vec);
-- 
2.34.1