this is the bad line...

diff --git a/model.cc b/model.cc
index 7808b104969f72fd9f9b62fe25a8574fffdac9b5..f67b552dcd74ce3db332c2b157cc2515d600072f 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1094,7 +1094,7 @@ void ModelChecker::check_recency(ModelAction *curr, const ModelAction *rf) {
                                ModelAction *act=*rit;
                                bool foundvalue = false;
                                for (int j = 0; j<act->get_node()->get_read_from_size(); j++) {
-                                       if (act->get_node()->get_read_from_at(i)==write) {
+                                       if (act->get_node()->get_read_from_at(j)==write) {
                                                foundvalue = true;
                                                break;
                                        }