diff --git a/src/core/CCVector.ml b/src/core/CCVector.ml index 40e6198a..29f9a01c 100644 --- a/src/core/CCVector.ml +++ b/src/core/CCVector.ml @@ -351,7 +351,7 @@ let insert v i x = if v.size = Array.length v.vec then grow_with_ v ~filler:x; (* Shift the following elements, then put the element at i *) - Array.blit v.vec i v.vec (i+1) (v.size - i); + if i < v.size then Array.blit v.vec i v.vec (i+1) (v.size - i); v.vec.(i) <- x; v.size <- v.size + 1