fix build

This commit is contained in:
Simon Cruanes 2024-01-06 22:45:42 -05:00
parent 04440deb39
commit 8dca0ea78d
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -127,7 +127,7 @@ let rec insert_tail_ (self : _ tree) shift i (tail : _ A.t) : _ tree =
if must_push then if must_push then
A.push a new_sub A.push a new_sub
else else
A.set ~mut:false a idx new_sub A.set a idx new_sub
in in
Node a Node a
@ -167,7 +167,7 @@ let rec pop_tail_from_tree_ (self : _ tree) shift i : 'a A.t * 'a tree =
else else
Node a Node a
) else ) else
Node (A.set ~mut:false a idx new_sub) Node (A.set a idx new_sub)
in in
tail, new_tree tail, new_tree