nodestack/promise: move future_value struct, update headers

[model-checker.git] / promise.h

diff --git a/promise.h b/promise.h
index 3166c8f6f1603bfad9ba27124f60fcca73b55d41..413d360896e282abb66a21d98c3cec689c428dd9 100644 (file)
--- 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: