From 56ed2751a8f9fe48129271a5d6ba574d8a078166 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 25 Sep 2012 16:50:59 -0700 Subject: [PATCH] model: trivial - rename 'updated' -> 'update' --- model.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/model.cc b/model.cc index a9d9477..e7ab3bb 100644 --- a/model.cc +++ b/model.cc @@ -617,20 +617,20 @@ Thread * ModelChecker::check_current_action(ModelAction *curr) switch (work.type) { case WORK_CHECK_CURR_ACTION: { ModelAction *act = work.action; - bool updated = false; + bool update = false; /* update this location's release seq's */ process_thread_action(curr); if (act->is_read() && process_read(act, second_part_of_rmw)) - updated = true; + update = true; if (act->is_write() && process_write(act)) - updated = true; + update = true; if (act->is_mutex_op()) process_mutex(act); - if (updated) + if (update) work_queue.push_back(CheckRelSeqWorkEntry(act->get_location())); break; } -- 2.34.1