memoize hb in writes

[c11tester.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 09a79e4057d882431b9e662373c2b3a19bfff5fb..4efd60292e24175f0aa3cfc7544a5eeab4904328 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -56,7 +56,7 @@ public:
        ~NodeStack();
 
        void register_engine(const ModelExecution *exec);
-       ModelAction * explore_action(ModelAction *act);
+       void add_action(ModelAction *act);
        Node * get_head() const;
        Node * get_next() const;
        void reset_execution();