let us set the size of the heap in a sane way

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index 7cef4b670065e21456e2e5758e61aaa0c4a3c854..379fb3b1fc15f219cdd870b4976af0e394fd2263 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -124,10 +124,10 @@ void NodeStack::print()
 ModelAction * NodeStack::explore_action(ModelAction *act)
 {
        DBG();
-       if (node_list.empty()) {
-               node_list.push_back(new Node(act));
-               iter = node_list.begin();
-       } else if (get_head()->has_been_explored(act->get_tid())) {
+
+       ASSERT(!node_list.empty());
+
+       if (get_head()->has_been_explored(act->get_tid())) {
                /* Discard duplicate ModelAction */
                delete act;
                iter++;