* Seal the representation of states

[tatoo.git] / src / cache.ml

diff --git a/src/cache.ml b/src/cache.ml
index d0f7ac5..e5ee434 100644 (file)
--- 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;