From: Brian Demsky <bdemsky@uci.edu>
Date: Sat, 3 Nov 2012 04:10:00 +0000 (-0700)
Subject: this is the bad line...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=11270ed797bd19f432589cdc7b01688ef924dd34;p=cdsspec-compiler.git

this is the bad line...
---

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