X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mcs-queue%2Fmain.h;h=7a7d2a753b5663443270994a3f7bac8a3bc3fd58;hb=e4a48c7b09fa1ba3757aa6eb7e3df2513549b6b6;hp=8ec3cf9628c05fd679254093c1db1c33744f8068;hpb=9071d66d8691dfeefc09ddb7540d75cfb116efe6;p=model-checker-benchmarks.git

diff --git a/mcs-queue/main.h b/mcs-queue/main.h
index 8ec3cf9..7a7d2a7 100644
--- 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"