model: schedule appropriate fence backtracking points

[c11tester.git] / promise.h

diff --git a/promise.h b/promise.h
index 20aee036f99c3a6adad194b353846a524404ef1e..278b7cc224e34a262ebbca9c20d3294ede514d31 100644 (file)
--- a/promise.h
+++ b/promise.h
@@ -8,10 +8,12 @@
 #define __PROMISE_H__
 
 #include <inttypes.h>
-#include "threads-model.h"
+#include <vector>
 
-#include "model.h"
 #include "modeltypes.h"
+#include "mymemory.h"
+
+class ModelAction;
 
 struct future_value {
        uint64_t value;