X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=spsc-queue%2Feventcount.h;h=aec3e8c9b216b9d71c9b561287d7d95828386f1a;hb=6ad55b673cd0430f7c525f0d19e4fff5b94c971e;hp=4390cc5b0e3737c58c1087e6825dbf5ffbd2d4bd;hpb=f85d2132f7b0567de423e76404f3528ae7aba205;p=model-checker-benchmarks.git

diff --git a/spsc-queue/eventcount.h b/spsc-queue/eventcount.h
index 4390cc5..aec3e8c 100644
--- a/spsc-queue/eventcount.h
+++ b/spsc-queue/eventcount.h
@@ -40,7 +40,7 @@ std::memory_order_seq_cst);
 			if (cmp == (ec & 0x7FFFFFFF))
 			{
 				waiters += 1;
-				cv.wait(guard, $);
+				cv.wait(guard);
 			}
 			guard.unlock($);
 		}
@@ -50,7 +50,7 @@ private:
 	std::atomic<unsigned> count;
 	rl::var<unsigned> waiters;
 	std::mutex guard;
-	std::condition_variable_any cv;
+	std::condition_variable cv;
 
 	void signal_impl(unsigned cmp)
 	{