Skip to content

Commit 8acf2ea

Browse files
committed
Remove unnecessary use of Obj.magic ()
1 parent fa36b3e commit 8acf2ea

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

lib/picos_aux.mpmcq/picos_aux_mpmcq.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ let create ?padded () =
3131
Atomic.make (H (Head { counter = 1 })) |> Multicore_magic.copy_as ?padded
3232
in
3333
let tail =
34-
Atomic.make (T (Tail { counter = 0; move = Obj.magic () }))
34+
Atomic.make (T (Tail { counter = 0; move = Used }))
3535
|> Multicore_magic.copy_as ?padded
3636
in
3737
Multicore_magic.copy_as ?padded { head; tail }

0 commit comments

Comments
 (0)