X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fcache.ml;fp=src%2Fcache.ml;h=e5ee4343e7b248fd56c328881dff932813dc67ab;hp=d0f7ac5841ed3e3e8ddcbee4f3c8b458e2a9e10c;hb=4f265eb7d78b740292b5543d94f9f0fa40d206d5;hpb=31d45495fda9a110fd348f8b492761c28b434ec9

diff --git a/src/cache.ml b/src/cache.ml
index d0f7ac5..e5ee434 100644
--- a/src/cache.ml
+++ b/src/cache.ml
@@ -24,7 +24,7 @@ struct
   type 'a index = int -> 'a
   let level a = a.level
   let create_with_level level a = {
-    line = Array.create 0 a;
+    line = Array.make 0 a;
     dummy = a;
     offset = ~-1;
     level = level;
@@ -41,7 +41,7 @@ struct
       if i < offset then begin (* bottom resize *)
 	let pad = offset - i in
 	let nlen = len + pad in
-   	let narray = Array.create nlen a.dummy in
+   	let narray = Array.make nlen a.dummy in
 	for j = 0 to len - 1 do
 	  narray.(j+pad) <- a.line.(j)
 	done;
@@ -51,7 +51,7 @@ struct
       end else begin (* top resize *)
 	(* 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
+	let narray = Array.make nlen a.dummy in
 	for j = 0 to len - 1 do
 	  narray.(j) <- a.line.(j);
 	done;