changes

[c11tester.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index 69f0b5f513640f5861c6c3bf117c73fc440c7da6..2e170b9f35eb8e424db6949754bb32d8146a0ba2 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -332,7 +332,7 @@ void NodeStack::print()
        printf("............................................\n");
 }
 
-ModelAction * NodeStack::explore_action(ModelAction *act, bool * enabled)
+ModelAction * NodeStack::explore_action(ModelAction *act, bool * is_enabled)
 {
        DBG();
 
@@ -347,7 +347,7 @@ ModelAction * NodeStack::explore_action(ModelAction *act, bool * enabled)
 
        /* Record action */
        get_head()->explore_child(act);
-       node_list.push_back(new Node(act, get_head(), model->get_num_threads(), enabled));
+       node_list.push_back(new Node(act, get_head(), model->get_num_threads()));
        total_nodes++;
        iter++;
        return NULL;