X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=include%2Funrelacy.h;h=c16a373b7945bf1caf142956f5545848d28ce2d6;hp=2c6c48de4fd0fa0872b632cd18598ad2cccb3671;hb=6254750fb7b01a21dad05459d3d9f9519ef2f1ee;hpb=a65f26d04efe2ce5ff9ca57dcbc989d2c42baa1e

diff --git a/include/unrelacy.h b/include/unrelacy.h
index 2c6c48d..c16a373 100644
--- 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>