projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
nodestack: action_set_t: replace STL 'set' with 'list'
[model-checker.git]
/
nodestack.cc
diff --git
a/nodestack.cc
b/nodestack.cc
index d3b7c104316161d0268c8ae1b2db7a116fbbac74..f74a2938992078a9eeaabc90e9a5100da8b7fabf 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-119,7
+119,7
@@
bool Node::is_enabled(Thread *t)
*/
void Node::add_read_from(ModelAction *act)
{
*/
void Node::add_read_from(ModelAction *act)
{
- may_read_from.
insert
(act);
+ may_read_from.
push_back
(act);
}
void Node::explore(thread_id_t tid)
}
void Node::explore(thread_id_t tid)