From 4cada7e7b6ea219566d2b33c74daac1e1c18dfd0 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 20 Aug 2021 18:16:42 -0400 Subject: [PATCH] perf --- src/util/VecI32.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/VecI32.ml b/src/util/VecI32.ml index 113e3b5c..a18c1c14 100644 --- a/src/util/VecI32.ml +++ b/src/util/VecI32.ml @@ -38,7 +38,7 @@ let resize_cap_ self new_cap = let ensure_cap self (n:int) = if n > A.dim self.data then ( - let new_cap = max n (A.dim self.data * 2 + 10) in + let new_cap = max n (max 4 (A.dim self.data * 2)) in resize_cap_ self new_cap; )