From c29b803ac6dce04a6531d33e36341eb662124835 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 21 Mar 2013 16:01:23 -0700
Subject: [PATCH] model: rename PendingFutureValue 'act' to 'reader'

To make it more clear
---
 model.cc | 2 +-
 model.h  | 6 ++++--
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/model.cc b/model.cc
index 780633e..f0763cb 100644
--- a/model.cc
+++ b/model.cc
@@ -1104,7 +1104,7 @@ bool ModelChecker::process_write(ModelAction *curr)
 	if (promises->empty()) {
 		for (unsigned int i = 0; i < futurevalues->size(); i++) {
 			struct PendingFutureValue pfv = (*futurevalues)[i];
-			add_future_value(pfv.writer, pfv.act);
+			add_future_value(pfv.writer, pfv.reader);
 		}
 		futurevalues->clear();
 	}
diff --git a/model.h b/model.h
index 07879cd..faa0dfe 100644
--- a/model.h
+++ b/model.h
@@ -73,9 +73,11 @@ struct execution_stats {
 };
 
 struct PendingFutureValue {
-	PendingFutureValue(ModelAction *writer, ModelAction *act) : writer(writer), act(act) { }
+	PendingFutureValue(ModelAction *writer, ModelAction *reader) :
+		writer(writer), reader(reader)
+	{ }
 	const ModelAction *writer;
-	ModelAction *act;
+	ModelAction *reader;
 };
 
 /** @brief Records information regarding a single pending release sequence */
-- 
2.34.1