projects
/
model-checker-benchmarks.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
unrelacy: include <mutex> and <condition_variable>
[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>