nodestack/promise: move future_value struct, update headers

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index d2e6491b2edec5891943351e9891b358f2b05594..13c6d09a7c7c39b88ef903012dd91449e37c7239 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -10,8 +10,8 @@
 #include <inttypes.h>
 
 #include "mymemory.h"
-#include "modeltypes.h"
 #include "schedule.h"
+#include "promise.h"
 
 class ModelAction;
 class Thread;
@@ -32,11 +32,6 @@ class Thread;
 
 typedef int promise_t;
 
-struct future_value {
-       uint64_t value;
-       modelclock_t expiration;
-};
-
 struct fairness_info {
        unsigned int enabled_count;
        unsigned int turns;