X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.h;h=413d360896e282abb66a21d98c3cec689c428dd9;hb=e9bc426a2bc92870a9f1ab2f5e7387e2867522ef;hp=3166c8f6f1603bfad9ba27124f60fcca73b55d41;hpb=f10dc6ce67a97ab18423e7cedaa24961bf0d80dc;p=model-checker.git

diff --git a/promise.h b/promise.h
index 3166c8f..413d360 100644
--- a/promise.h
+++ b/promise.h
@@ -11,6 +11,12 @@
 #include "threads-model.h"
 
 #include "model.h"
+#include "modeltypes.h"
+
+struct future_value {
+	uint64_t value;
+	modelclock_t expiration;
+};
 
 class Promise {
  public: