memoize hb in writes

[c11tester.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index c1c3cfc502a7cca8b53f984d0584e7e9750cc609..258c27581b600e0433464ab1af321bbe22e71310 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -86,13 +86,12 @@ void NodeStack::print() const
 
 /** Note: The is_enabled set contains what actions were enabled when
  *  act was chosen. */
-ModelAction * NodeStack::explore_action(ModelAction *act)
+void NodeStack::add_action(ModelAction *act)
 {
        DBG();
 
        node_list.push_back(new Node(act));
        head_idx++;
-       return NULL;
 }