From c45fe97ebd31553ef8e6fd29be14d778b05fd4d6 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 25 Jul 2016 13:44:22 +0200 Subject: [PATCH] micro optim on Vec --- src/util/vec.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/vec.ml b/src/util/vec.ml index cffd0c9f..b55b7bc2 100644 --- a/src/util/vec.ml +++ b/src/util/vec.ml @@ -74,7 +74,7 @@ let grow_to_by_double t new_capa = let data = t.data in let capa = ref (Array.length data + 1) in while !capa < new_capa do - capa := min (2 * !capa) Sys.max_array_length; + capa := min (2 * !capa + 1) Sys.max_array_length; done; grow_to t !capa