From 830e056b31b3f449659a962e45f3a3f489fe9508 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 1 Jan 2022 22:15:23 -0500 Subject: [PATCH] fix atomics --- src/pool/gen/mkshims.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/pool/gen/mkshims.ml b/src/pool/gen/mkshims.ml index 3154490a..50201d13 100644 --- a/src/pool/gen/mkshims.ml +++ b/src/pool/gen/mkshims.ml @@ -10,10 +10,10 @@ let atomic_before_412 = {| y let[@inline] compare_and_set r seen v = - if r.x == seen then + if r.x == seen then ( r.x <- v; true - else false + ) else false let[@inline] fetch_and_add r x = let v = r.x in