From 15efe4aceb8ec93f6bfe05b91da8a4792934ad37 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 24 Nov 2016 17:38:09 +0100 Subject: [PATCH] Revert "change strategy for vec reallocation" This reverts commit 74076698347214bb70d73e864111b6e61c6fa6bb. --- src/util/vec.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/util/vec.ml b/src/util/vec.ml index f18cf5c0..61e9aefa 100644 --- a/src/util/vec.ml +++ b/src/util/vec.ml @@ -69,15 +69,13 @@ let grow_to_double_size t = let size = min Sys.max_array_length (2* Array.length t.data + 1) in grow_to_exact t size -(* grow to at least [new_capa] by increments of - approximately [new_size = old_size * 1.5] *) let grow_to_at_least t new_capa = assert (new_capa >= 0); if new_capa > Sys.max_array_length then _size_too_big (); let data = t.data in let capa = ref (Array.length data + 1) in while !capa < new_capa do - capa := min (!capa + (!capa lsr 1) + 2) Sys.max_array_length; + capa := min (2 * !capa + 1) Sys.max_array_length; done; grow_to_exact t !capa