"Merge Tagged PR 3173"

This commit is contained in:
yuzubot committed 2019-12-05 13:01:33 +00:00
1 parent 2f79cc3ef5
commit 9d2ba526c3
1 file changed
+1 -2
+1 -2
View File
@@ -46,9 +46,8 @@ public:
ElementPtr* new_ptr = new ElementPtr();
write_ptr->next.store(new_ptr, std::memory_order_release);
write_ptr = new_ptr;
cv.notify_one();
++size;
cv.notify_one();
}
void Pop() {