msc-queue: indentation, etc.
[model-checker-benchmarks.git] / spsc-bugfix / queue.h
index c77425f..2e2f494 100644 (file)
@@ -25,7 +25,7 @@ public:
                node* n = new node (data);
                head($)->next.store(n, std::memory_order_release);
                head = n;
-               ec.signal_relaxed();
+               ec.signal();
        }
 
        T dequeue()