From: Brian Norris <banorris@uci.edu>
Date: Thu, 11 Oct 2012 18:24:11 +0000 (-0700)
Subject: spsc-queue: use std::condition_variable
X-Git-Tag: pldi2013~38
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=f85d2132f7b0567de423e76404f3528ae7aba205

spsc-queue: use std::condition_variable

Model-checker doesn't support <condition_variable> header yet.
---

diff --git a/spsc-queue/eventcount.h b/spsc-queue/eventcount.h
index bf1f511..4390cc5 100644
--- a/spsc-queue/eventcount.h
+++ b/spsc-queue/eventcount.h
@@ -1,6 +1,7 @@
 #include <unrelacy.h>
 #include <atomic>
 #include <mutex>
+#include <condition_variable>
 
 class eventcount
 {
@@ -49,7 +50,7 @@ private:
 	std::atomic<unsigned> count;
 	rl::var<unsigned> waiters;
 	std::mutex guard;
-	condition_variable_any cv;
+	std::condition_variable_any cv;
 
 	void signal_impl(unsigned cmp)
 	{