From 8dca0ea78d62822b5cfc797d90460ccf091bfe77 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 6 Jan 2024 22:45:42 -0500 Subject: [PATCH] fix build --- src/pvec/containers_pvec.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/pvec/containers_pvec.ml b/src/pvec/containers_pvec.ml index 7e5ee45c..c0c0eee2 100644 --- a/src/pvec/containers_pvec.ml +++ b/src/pvec/containers_pvec.ml @@ -127,7 +127,7 @@ let rec insert_tail_ (self : _ tree) shift i (tail : _ A.t) : _ tree = if must_push then A.push a new_sub else - A.set ~mut:false a idx new_sub + A.set a idx new_sub in Node a @@ -167,7 +167,7 @@ let rec pop_tail_from_tree_ (self : _ tree) shift i : 'a A.t * 'a tree = else Node a ) else - Node (A.set ~mut:false a idx new_sub) + Node (A.set a idx new_sub) in tail, new_tree