edit

diff --git a/execution.cc b/execution.cc
index ac3ecbc00e069abd7a53ebbf8d6d70168bf14c97..c07db8e9a7d21a555c789a3053c6bcb2b3846491 100644 (file)
--- 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;
                        }