From 5e767d8aa8aebebcdc0360e8fbeecce4808b15a3 Mon Sep 17 00:00:00 2001 From: Gabriel Scherer Date: Thu, 4 Jan 2024 21:39:09 +0100 Subject: [PATCH] CCVector: fix two labels-omitted warnings These warnings are silenced by the use of -nolabels in the compilation flags (which I understand is designed to make the life of the CC*Labels file easier, not let minor labeling mistakes sleep in.) --- src/core/CCVector.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/CCVector.ml b/src/core/CCVector.ml index b577b7b2..8771e74b 100644 --- a/src/core/CCVector.ml +++ b/src/core/CCVector.ml @@ -131,7 +131,7 @@ let resize_with v f size = v.vec <- new_vec; v.size <- size ) else ( - ensure_assuming_not_empty_ v size; + ensure_assuming_not_empty_ v ~size; let { size = cur_size; vec } = v in for i = cur_size to size - 1 do Array.unsafe_set vec i (f i) @@ -147,7 +147,7 @@ let resize_with_init v ~init size = v.vec <- vec; v.size <- size ) else ( - ensure_assuming_not_empty_ v size; + ensure_assuming_not_empty_ v ~size; (* nothing will change [v] *) for i = v.size to size - 1 do Array.unsafe_set v.vec i init