From e748333693c196e72dca836e1b5cb647cae4350c Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Mon, 16 Mar 2015 16:16:44 +0100 Subject: [PATCH] Assert for growing vectors --- util/vec.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/vec.ml b/util/vec.ml index f261c45a..57a6571c 100644 --- a/util/vec.ml +++ b/util/vec.ml @@ -58,6 +58,7 @@ let grow_to_double_size t = grow_to t size let grow_to_by_double 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 @@ -66,7 +67,6 @@ let grow_to_by_double t new_capa = done; grow_to t !capa - let is_full t = Array.length t.data = t.sz let push t e =