action: support ATOMIC_INIT
[c11tester.git] / nodestack.cc
index f74a2938992078a9eeaabc90e9a5100da8b7fabf..13380325ecedb94e5561cda22a3b22d6b08433be 100644 (file)
@@ -117,7 +117,7 @@ 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.push_back(act);
 }