simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-10 13:14:09 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

perf

Browse source
This commit is contained in:
Simon Cruanes 2021-08-20 18:16:42 -04:00
parent 1ab7d34a7d
commit 4cada7e7b6
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/VecI32.ml
View file

@ -38,7 +38,7 @@ let resize_cap_ self new_cap =
let ensure_cap self (n:int) = let ensure_cap self (n:int) =
if n > A.dim self.data then ( 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; resize_cap_ self new_cap;
) )