X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=spsc-bugfix%2Fqueue.h;h=2e2f494b6a4cf3faf497edf7c4a2c09dd9809a62;hb=e326d381460902d927b8862149ce5382f8509bbd;hp=c77425f5b662f1de1982e9738ede23bcff4e4a07;hpb=991d0fdc0fb17f85d485c97dc2c5d8d57a98dad9;p=model-checker-benchmarks.git

diff --git a/spsc-bugfix/queue.h b/spsc-bugfix/queue.h
index c77425f..2e2f494 100644
--- a/spsc-bugfix/queue.h
+++ b/spsc-bugfix/queue.h
@@ -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()