mcs-queue: modifications for compiling

[model-checker-benchmarks.git] / mcs-queue / main.h

diff --git a/mcs-queue/main.h b/mcs-queue/main.h
index 8ec3cf9628c05fd679254093c1db1c33744f8068..7a7d2a753b5663443270994a3f7bac8a3bc3fd58 100644 (file)
--- a/mcs-queue/main.h
+++ b/mcs-queue/main.h
@@ -6,8 +6,6 @@
 #include <sys/ipc.h>
 #include <sys/shm.h>
 #include <signal.h>
-#include <sys/cachectl.h>
-#include <sys/sysmp.h>
-#include <ulocks.h>
 #include <assert.h>
+#include <threads.h>
 #include "my_queue.h"