Use the version of ms-queue modified by tsan11

[c11concurrency-benchmarks.git] / cdschecker_modified_benchmarks / ms-queue / my_queue.cc

diff --git a/cdschecker_modified_benchmarks/ms-queue/my_queue.cc b/cdschecker_modified_benchmarks/ms-queue/my_queue.cc
index d746bdaca24f10d5ba7ca08f35c25508b9baf993..00af6d4e90949589cf389b5cd063dd78498c361b 100644 (file)
--- a/cdschecker_modified_benchmarks/ms-queue/my_queue.cc
+++ b/cdschecker_modified_benchmarks/ms-queue/my_queue.cc
@@ -1,4 +1,4 @@
-#include <threads.h>
+#include "cds_threads.h"
 #include <stdlib.h>
 #include "librace.h"
 #include "model-assert.h"