From fcbaaae81da77765d43bb6a57438c08173235b2a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 11 Mar 2026 03:26:57 -0400 Subject: [PATCH] Vec: fix bound check error --- src/util/Vec.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/util/Vec.ml b/src/util/Vec.ml index 46750264..05f38914 100644 --- a/src/util/Vec.ml +++ b/src/util/Vec.ml @@ -73,11 +73,12 @@ let[@inline] get t i = Array.unsafe_get t.data i let[@inline] set t i v = - if i < 0 || i > t.sz then invalid_arg "vec.set"; if i = t.sz then push t v - else + else if i >= 0 && i < t.sz then Array.unsafe_set t.data i v + else + invalid_arg "vec.set" let[@inline] fast_remove t i = assert (i >= 0 && i < t.sz);