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

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()