From 174957e6049fe96603d18d4b4bc8ba760f361f99 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 14 Jun 2014 01:01:22 +0200
Subject: [PATCH] more reasonable increase in size in CCVector

---
 core/CCVector.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/core/CCVector.ml b/core/CCVector.ml
index 115c1777..28613205 100644
--- a/core/CCVector.ml
+++ b/core/CCVector.ml
@@ -98,7 +98,8 @@ let _grow v x =
   if _empty_array v
     then v.vec <- Array.make 32 x
     else
-      let size = min (2 * Array.length v.vec + 10) Sys.max_array_length in
+      let n = Array.length v.vec in
+      let size = min (n + n/2 + 10) Sys.max_array_length in
       _resize v size
 
 let ensure v size =