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)
 {
-       may_read_from.insert(act);
+       may_read_from.push_back(act);
 }
 
 void Node::explore(thread_id_t tid)