X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=spsc-bugfix%2Fqueue-relacy.h;h=783357645bd3b57e43fcfd04f267bd3f47a2e0cb;hp=71aac2a3992bd4be17499cb32297301648597d39;hb=36c9d1f76e69a018f72a8aa85d70c58dd8f0d5cc;hpb=991d0fdc0fb17f85d485c97dc2c5d8d57a98dad9

diff --git a/spsc-bugfix/queue-relacy.h b/spsc-bugfix/queue-relacy.h
index 71aac2a..7833576 100644
--- a/spsc-bugfix/queue-relacy.h
+++ b/spsc-bugfix/queue-relacy.h
@@ -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()