X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fmain.ml;fp=src%2Fmain.ml;h=2349ad17b7a621aafedfb86b8e1d9b14dc676b44;hb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;hp=42c88221948cf4694cf59d399dc4f7f62c2f380e;hpb=db0ad408721f202e33785958211fe6e4228fce8f;p=SXSI%2Fxpathcomp.git diff --git a/src/main.ml b/src/main.ml index 42c8822..2349ad1 100644 --- a/src/main.ml +++ b/src/main.ml @@ -78,7 +78,7 @@ let main v query_string output = let module R = ResJIT.Count in let module M = Runtime.Make(R) in (* mk_runtime run auto doc arg count print outfile *) - mk_runtime M.top_down_run auto v Tree.root R.NS.length R.NS.serialize None + mk_runtime M.twopass_top_down_run auto v Tree.root R.NS.length R.NS.serialize None else let module R = ResJIT.Mat in let module M = Runtime.Make(R) in