From 05d91de8ac8098425d51e9af2704eb91e04a7f9b Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 12 Dec 2012 15:49:29 -0800
Subject: [PATCH] model: rename 'promise_index' to 'i'

The fuction looks cleaner if the loop variable is just a simple 'i'
index.
---
 model.cc | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

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