action: support ATOMIC_INIT

[c11tester.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index d3b7c104316161d0268c8ae1b2db7a116fbbac74..13380325ecedb94e5561cda22a3b22d6b08433be 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -117,9 +117,9 @@ bool Node::is_enabled(Thread *t)
  * Add an action to the may_read_from set.
  * @param act is the action to add
  */
-void Node::add_read_from(ModelAction *act)
+void Node::add_read_from(const ModelAction *act)
 {
-       may_read_from.insert(act);
+       may_read_from.push_back(act);
 }
 
 void Node::explore(thread_id_t tid)