X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=nodestack.cc;h=e6f0269c0c2720a09d1c74882cb597a8afefd044;hp=131b06ca6fe1d190ed56f74577676cc81cc3b069;hb=bb168337e93650eddb90df61b109db4e1e8570c9;hpb=e356dc963edf27f8a97b1ae3d39e276723aa5968

diff --git a/nodestack.cc b/nodestack.cc
index 131b06c..e6f0269 100644
--- 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;