X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.h;h=ea40df0112b183b515258877af1ce20cb606b30d;hb=ddea30a10d1acaef02712575c6fa4856de72cd4c;hp=ce84ede68b0e58e4c76c280cb6632bc85d76cb02;hpb=e60d8c23d30a0dfe66b8426f7f2ecf576e812028;p=c11tester.git

diff --git a/promise.h b/promise.h
index ce84ede6..ea40df01 100644
--- a/promise.h
+++ b/promise.h
@@ -31,6 +31,7 @@ class Promise {
 		return synced_thread[id];
 	}
 
+	bool check_promise();
 	uint64_t get_value() const { return value; }
 	void set_write(const ModelAction *act) { write = act; }
 	const ModelAction * get_write() { return write; }