simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-28 04:14:50 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

micro optim on Vec

Browse source
This commit is contained in:
Simon Cruanes 2016-07-25 13:44:22 +02:00
parent 6757910225
commit c45fe97ebd
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/vec.ml
View file

@ -74,7 +74,7 @@ let grow_to_by_double t new_capa =
let data = t.data in let data = t.data in
let capa = ref (Array.length data + 1) in let capa = ref (Array.length data + 1) in
while !capa < new_capa do while !capa < new_capa do
capa := min (2 * !capa) Sys.max_array_length; capa := min (2 * !capa + 1) Sys.max_array_length;
done; done;
grow_to t !capa grow_to t !capa