mpmc-queue: add "-noinit" builds

[model-checker-benchmarks.git] / include / unrelacy.h

diff --git a/include/unrelacy.h b/include/unrelacy.h
index 2c6c48de4fd0fa0872b632cd18598ad2cccb3671..c16a373b7945bf1caf142956f5545848d28ce2d6 100644 (file)
--- a/include/unrelacy.h
+++ b/include/unrelacy.h
@@ -4,6 +4,8 @@
 #include <stdatomic.h>
 #include <stdlib.h>
 #include <stdio.h>
+#include <mutex>
+#include <condition_variable>
 
 #include <model-assert.h>