X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=nodestack.cc;h=13380325ecedb94e5561cda22a3b22d6b08433be;hp=d3b7c104316161d0268c8ae1b2db7a116fbbac74;hb=c0182a11fd62cc38f9f5cbe49960d7a9bce8d381;hpb=39e570d6dd512935c362b3e26e8c81dad43775f0

diff --git a/nodestack.cc b/nodestack.cc
index d3b7c104..13380325 100644
--- 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)