simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-08 20:25:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

more accurate assertion

Browse source
This commit is contained in:
Simon Cruanes 2016-11-24 14:21:51 +01:00
parent 7407669834
commit 20b4692e18
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/vec.ml
View file

@ -58,7 +58,7 @@ let size t = t.sz
let is_empty t = t.sz = 0
let grow_to_exact t new_capa =
assert (new_capa >= Array.length t.data);
assert (new_capa > Array.length t.data);
let new_data = Array.make new_capa t.dummy in
assert (t.sz <= new_capa);
Array.blit t.data 0 new_data 0 t.sz;