un-'const' some Promises

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index 131b06ca6fe1d190ed56f74577676cc81cc3b069..e6f0269c0c2720a09d1c74882cb597a8afefd044 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -455,7 +455,7 @@ void Node::add_read_from_promise(const ModelAction *reader)
  * where this->action is a 'read'.
  * @return The current element in read_from_promises
  */
-const Promise * Node::get_read_from_promise() const
+Promise * Node::get_read_from_promise() const
 {
        if (read_from_promise_idx < 0 || read_from_promise_idx >= ((int)read_from_promises.size()))
                return NULL;