X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=nodestack.h;h=9ccde8da34e953052660292d6b865cb53dbe76e0;hp=16264a2bbf800c6832e312cab644e85febb4f566;hb=5e4a7d161cba81152ddcf295ee72fbb25ba3afaa;hpb=bdef0741b8a01e16946d261bc2a657af5a683b3e;ds=sidebyside

diff --git a/nodestack.h b/nodestack.h
index 16264a2b..9ccde8da 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -46,7 +46,7 @@ public:
 	 * occurred previously in the stack. */
 	Node * get_parent() const { return parent; }
 
-	void add_future_value(uint64_t value);
+	bool add_future_value(uint64_t value);
 	void add_read_from(const ModelAction *act);
 	const ModelAction * get_read_from();
 	uint64_t get_future_value();