X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2Fcondvar.cc;h=ff8feb1ed6976da4403063d826a10db4b6effb28;hb=d1b0d38c3fb2f0466f9af35b0b859e51978c4859;hp=488f9be037f7478a1354f665d45d67e36232efa5;hpb=8c795e46244df91bf9f5ad65b6268767dec054fc;p=model-checker.git

diff --git a/test/condvar.cc b/test/condvar.cc
index 488f9be..ff8feb1 100644
--- a/test/condvar.cc
+++ b/test/condvar.cc
@@ -4,7 +4,7 @@
 #include "librace.h"
 #include "stdatomic.h"
 #include <mutex>
-#include "conditionvariable.h"
+#include <condition_variable>
 
 std::mutex * m;
 std::condition_variable *v;