From 4ba296a6fe70c95fefa999b0dd488a95070ac6f4 Mon Sep 17 00:00:00 2001
From: root <root@dw-6.eecs.uci.edu>
Date: Sat, 27 Jul 2019 23:18:57 -0700
Subject: [PATCH] edit

---
 execution.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/execution.cc b/execution.cc
index ac3ecbc0..c07db8e9 100644
--- a/execution.cc
+++ b/execution.cc
@@ -979,7 +979,7 @@ void ModelExecution::w_modification_order(ModelAction *curr)
 					edgeset.push_back(act);
 				else if (act->is_read()) {
 					//if previous read accessed a null, just keep going
-					edgeset.push_back(act);
+					edgeset.push_back(act->get_reads_from());
 				}
 				break;
 			}
-- 
2.34.1