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 e36426721ca44b53b7029cedb7de53ee79b22634..d7b87f6359a94d3107421521f0f46ec5927ab58a 100644 (file)
--- 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;
 }