From 8acf2eaf807435e984f443ed65c4d0aee34cfeb3 Mon Sep 17 00:00:00 2001
From: Vesa Karvonen <vesa.a.j.k@gmail.com>
Date: Sat, 14 Sep 2024 18:20:52 +0300
Subject: [PATCH] Remove unnecessary use of `Obj.magic ()`

---
 lib/picos_aux.mpmcq/picos_aux_mpmcq.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/picos_aux.mpmcq/picos_aux_mpmcq.ml b/lib/picos_aux.mpmcq/picos_aux_mpmcq.ml
index 867c9c55..3527e77d 100644
--- a/lib/picos_aux.mpmcq/picos_aux_mpmcq.ml
+++ b/lib/picos_aux.mpmcq/picos_aux_mpmcq.ml
@@ -31,7 +31,7 @@ let create ?padded () =
     Atomic.make (H (Head { counter = 1 })) |> Multicore_magic.copy_as ?padded
   in
   let tail =
-    Atomic.make (T (Tail { counter = 0; move = Obj.magic () }))
+    Atomic.make (T (Tail { counter = 0; move = Used }))
     |> Multicore_magic.copy_as ?padded
   in
   Multicore_magic.copy_as ?padded { head; tail }