model: remove unnecessary boolean variable

diff --git a/model.cc b/model.cc
index 667c1d57d68ee50ec5790cd0f8f2cf9458eab0c8..b916d8cf3e2c3d169c11e361715c46407ace3cd5 100644 (file)
--- 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);
        }