diff options
Diffstat (limited to 'src/mixed_arena.h')
| -rw-r--r-- | src/mixed_arena.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mixed_arena.h b/src/mixed_arena.h index 4d2e24542..a36f72a8d 100644 --- a/src/mixed_arena.h +++ b/src/mixed_arena.h @@ -104,7 +104,7 @@ struct MixedArena { if (!allocated) { allocated = new MixedArena(); // has our thread id } - if (curr->next.compare_exchange_weak(seen, allocated)) { + if (curr->next.compare_exchange_strong(seen, allocated)) { // we replaced it, so we are the next in the chain // we can forget about allocated, it is owned by the chain now allocated = nullptr; |