unrelacy: include <mutex> and <condition_variable>
[model-checker-benchmarks.git] / include / unrelacy.h
index 2c6c48d..c16a373 100644 (file)
@@ -4,6 +4,8 @@
 #include <stdatomic.h>
 #include <stdlib.h>
 #include <stdio.h>
+#include <mutex>
+#include <condition_variable>
 
 #include <model-assert.h>