nodestack: push 'create_cv' functionality responsibility back to ModelChecker

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index af7808227b420ff431a3549490dc37e55a36fd08..cf3c6db146675c0cb7f41d994f988925209fc976 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -45,7 +45,7 @@ class NodeStack {
 public:
        NodeStack();
        ~NodeStack();
-       ModelAction * explore_action(ModelAction *act, ModelAction *parent);
+       ModelAction * explore_action(ModelAction *act);
        Node * get_head();
        Node * get_next();
        void reset_execution();