From 38b76fe373e538f275cb3a864a6e919664dc9bda Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 4 Oct 2012 12:11:05 -0700 Subject: [PATCH] model: remove unnecessary boolean variable --- model.cc | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/model.cc b/model.cc index 667c1d57..b916d8cf 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); } -- 2.34.1