Skip to content

Commit

Permalink
CCVector: fix two labels-omitted warnings
Browse files Browse the repository at this point in the history
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.)
  • Loading branch information
gasche authored and c-cube committed Jan 4, 2024
1 parent 60bb2c8 commit 9de8f1f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/core/CCVector.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand All @@ -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
Expand Down

0 comments on commit 9de8f1f

Please sign in to comment.