From d62d5515f16db9c1c7aeba91577e97ef28f032d2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 1 Jan 2022 21:59:35 -0500 Subject: [PATCH] fix Atomic shims on < 4.12 --- src/pool/gen/mkshims.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pool/gen/mkshims.ml b/src/pool/gen/mkshims.ml index 97c7745a..3154490a 100644 --- a/src/pool/gen/mkshims.ml +++ b/src/pool/gen/mkshims.ml @@ -1,6 +1,6 @@ let atomic_before_412 = {| - type !'a t = {mutable x: 'a} + type 'a t = {mutable x: 'a} let[@inline] make x = {x} let[@inline] get {x} = x let[@inline] set r x = r.x <- x