more fix

[cdsspec-compiler.git] / benchmark / mcs-lock / mcs-lock.h

diff --git a/benchmark/mcs-lock/mcs-lock.h b/benchmark/mcs-lock/mcs-lock.h
index 2be854b67c27533fda1284140f8e8ba17a73381c..27ce1807f2c3b25fb266e170139fd009d221b169 100644 (file)
--- a/benchmark/mcs-lock/mcs-lock.h
+++ b/benchmark/mcs-lock/mcs-lock.h
@@ -3,6 +3,12 @@
 #include <stdatomic.h>
 #include <unrelacy.h>
 
+#include <spec_lib.h>
+#include <stdlib.h>
+#include <cdsannotate.h>
+#include <specannotation.h>
+#include <model_memory.h>
+
 struct mcs_node {
        std::atomic<mcs_node *> next;
        std::atomic<int> gate;