X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.h;h=e8c233c61d8240d4820fc39ad7d735d0ffeff355;hb=cb7d648c3c1c3d916c7fc60a7cb332eb2b52d510;hp=90ec1d2050bc650b714eebe8f64f5aabde0de7e0;hpb=f1ba5c8c393c310e2210cbfb74020bec67fa6934;p=model-checker.git

diff --git a/promise.h b/promise.h
index 90ec1d2..e8c233c 100644
--- a/promise.h
+++ b/promise.h
@@ -43,6 +43,8 @@ class Promise {
 	uint64_t get_value() const { return fv.value; }
 	struct future_value get_fv() const { return fv; }
 
+	int get_index() const;
+
 	void print() const;
 
 	bool equals(const Promise *x) const { return this == x; }