From: Brian Norris <banorris@uci.edu>
Date: Thu, 4 Oct 2012 19:11:05 +0000 (-0700)
Subject: model: remove unnecessary boolean variable
X-Git-Tag: pldi2013~104
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=38b76fe373e538f275cb3a864a6e919664dc9bda;p=model-checker.git

model: remove unnecessary boolean variable
---

diff --git a/model.cc b/model.cc
index 667c1d5..b916d8c 100644
--- a/model.cc
+++ b/model.cc
@@ -1307,9 +1307,8 @@ bool ModelChecker::release_seq_heads(const ModelAction *rf, rel_heads_list_t *re
 void ModelChecker::get_release_seq_heads(ModelAction *act, rel_heads_list_t *release_heads)
 {
 	const ModelAction *rf = act->get_reads_from();
-	bool complete;
-	complete = release_seq_heads(rf, release_heads);
-	if (!complete) {
+
+	if (!release_seq_heads(rf, release_heads)) {
 		/* add act to 'lazy checking' list */
 		pending_acq_rel_seq->push_back(act);
 	}