fix commit that mistakenly happened

[model-checker-benchmarks.git] / spsc-queue / eventcount.h

diff --git a/spsc-queue/eventcount.h b/spsc-queue/eventcount.h
index 4390cc5b0e3737c58c1087e6825dbf5ffbd2d4bd..aec3e8c9b216b9d71c9b561287d7d95828386f1a 100644 (file)
--- 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)
        {