X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=f67b552dcd74ce3db332c2b157cc2515d600072f;hb=11270ed797bd19f432589cdc7b01688ef924dd34;hp=7808b104969f72fd9f9b62fe25a8574fffdac9b5;hpb=d884d14a6288f1ee1809158e81ffb05bf83f483b;p=model-checker.git

diff --git a/model.cc b/model.cc
index 7808b10..f67b552 100644
--- 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;
 					}