projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
bug fix
[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();