From: Brian Norris <banorris@uci.edu>
Date: Wed, 12 Dec 2012 23:49:29 +0000 (-0800)
Subject: model: rename 'promise_index' to 'i'
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=05d91de8ac8098425d51e9af2704eb91e04a7f9b;p=cdsspec-compiler.git

model: rename 'promise_index' to 'i'

The fuction looks cleaner if the loop variable is just a simple 'i'
index.
---

diff --git a/model.cc b/model.cc
index e364267..d7b87f6 100644
--- a/model.cc
+++ b/model.cc
@@ -1293,11 +1293,10 @@ void ModelChecker::check_curr_backtracking(ModelAction *curr)
 
 bool ModelChecker::promises_expired() const
 {
-	for (unsigned int promise_index = 0; promise_index < promises->size(); promise_index++) {
-		Promise *promise = (*promises)[promise_index];
-		if (promise->get_expiration()<priv->used_sequence_numbers) {
+	for (unsigned int i = 0; i < promises->size(); i++) {
+		Promise *promise = (*promises)[i];
+		if (promise->get_expiration() < priv->used_sequence_numbers)
 			return true;
-		}
 	}
 	return false;
 }