X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcache.ml;h=71eb4fb4d1d5da59bdc569623894043f8a275df8;hb=1975eef2d0933da3c01faec1cd14bc8fbf6bf146;hp=ed8af8cac5512a1f667643a367a5898d750f1ef7;hpb=92e6cc9537b4751588ecb93c99685bc91d6797a0;p=SXSI%2Fxpathcomp.git diff --git a/src/cache.ml b/src/cache.ml index ed8af8c..71eb4fb 100644 --- a/src/cache.ml +++ b/src/cache.ml @@ -1,3 +1,5 @@ +INCLUDE "trace.ml" + let realloc l old_size new_size dummy = let l' = Array.create new_size dummy in Array.blit l 0 l' 0 (min old_size new_size); @@ -93,9 +95,10 @@ struct dummy_line1 = dummy_line1; dummy_line2 = dummy_line2 } - let find t i j k = t.line.(i).(j).(k) + let find t k j i = t.line.(i).(j).(k) + - let add t i j k v = + let add t k j i v = let line = t.line in let line1 = let l1 = line.(i) in