From: root <root@dw-6.eecs.uci.edu>
Date: Sun, 28 Jul 2019 06:18:57 +0000 (-0700)
Subject: edit
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=4ba296a6fe70c95fefa999b0dd488a95070ac6f4;p=c11tester.git

edit
---

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;
 			}