changes

[c11tester.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 6cd8cfd30806c7463d6710e5251041bf4b64cd81..3262a569d0e5da24689c46c706752a3b718c9a69 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -120,7 +120,7 @@ class NodeStack {
 public:
        NodeStack();
        ~NodeStack();
-       ModelAction * explore_action(ModelAction *act, bool * enabled);
+       ModelAction * explore_action(ModelAction *act, bool * is_enabled);
        Node * get_head();
        Node * get_next();
        void reset_execution();