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

diff --git a/nodestack.h b/nodestack.h
index fc566d6..f478db2 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -75,7 +75,7 @@ public:
 	int get_read_from_past_size() const;
 
 	void add_read_from_promise(const ModelAction *reader);
-	const Promise * get_read_from_promise() const;
+	Promise * get_read_from_promise() const;
 
 	bool add_future_value(struct future_value fv);
 	struct future_value get_future_value() const;