mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-08 04:05:41 -05:00
fix in task_local_storage
This commit is contained in:
parent
b32bf3ea3c
commit
41b73462dd
1 changed files with 1 additions and 1 deletions
|
|
@ -21,7 +21,7 @@ type ls_value += Dummy
|
||||||
(** Resize array of TLS values *)
|
(** Resize array of TLS values *)
|
||||||
let[@inline never] resize_ (cur : ls_value array ref) n =
|
let[@inline never] resize_ (cur : ls_value array ref) n =
|
||||||
let len = Array.length !cur in
|
let len = Array.length !cur in
|
||||||
let new_ls = Array.make (max n (len * 2)) Dummy in
|
let new_ls = Array.make (max n ((len * 2) + 2)) Dummy in
|
||||||
Array.blit !cur 0 new_ls 0 len;
|
Array.blit !cur 0 new_ls 0 len;
|
||||||
cur := new_ls
|
cur := new_ls
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue