From 7360834241f2a91f45a1aa3802e578950109917a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 17 Mar 2013 18:45:53 +0100 Subject: [PATCH] force Vector's initial size to be >= 3 --- vector.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/vector.ml b/vector.ml index 18ec33a2..5fcaf4de 100644 --- a/vector.ml +++ b/vector.ml @@ -32,9 +32,9 @@ type 'a t = { } let create i = - assert (i >= 0); + let i = max i 3 in { size = 0; - vec = if i = 0 then [||] else Array.create i (Obj.magic None); + vec = Array.create i (Obj.magic None); } (** resize the underlying array so that it can contains the