(* preventively allocate the space for the following elements *)
let nlen = ((i - offset + 1) lsl 1) + 1 in
let narray = Array.create nlen a.dummy in
- for j = 0 to len - 1 do
+ Array.blit a.line 0 narray 0 len;
+ (*for j = 0 to len - 1 do
narray.(j) <- a.line.(j);
- done;
+ done; *)
narray.(i - offset) <- v;
a.line <- narray
end