"Merge Tagged PR 3173"
This commit is contained in:
1 parent
f73e569ba8
commit
531e4f24f9
1 file changed
+1
-2
@@ -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() {
|
||||
|
||||
Reference in new issue
Block a user