condition_variable: move header
[model-checker.git] / test / condvar.cc
index 488f9be..ff8feb1 100644 (file)
@@ -4,7 +4,7 @@
 #include "librace.h"
 #include "stdatomic.h"
 #include <mutex>
 #include "librace.h"
 #include "stdatomic.h"
 #include <mutex>
-#include "conditionvariable.h"
+#include <condition_variable>
 
 std::mutex * m;
 std::condition_variable *v;
 
 std::mutex * m;
 std::condition_variable *v;