bench.sh: fixup Brian D.'s script change
[model-checker-benchmarks.git] / spsc-bugfix / queue-relacy.h
index 71aac2a..7833576 100644 (file)
@@ -22,7 +22,7 @@ public:
                node* n = new node (data);
                head($)->next.store(n, std::memory_order_release);
                head($) = n;
-               ec.signal_relaxed();
+               ec.signal();
        }
 
        T dequeue()