X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fmain.ml;h=128ac53f01c2d2e980d30520cf7ebc9bb1c04409;hb=ff99aa3de1810d5607f31f1f7597da78af72b6bf;hp=42c88221948cf4694cf59d399dc4f7f62c2f380e;hpb=e5684525c6814acc412b582b346d5ee6cb5b6597;p=SXSI%2Fxpathcomp.git

diff --git a/src/main.ml b/src/main.ml
index 42c8822..128ac53 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -76,13 +76,24 @@ let main v query_string output =
 
       if !Options.count_only then
 	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 (Runtime.top_down_run {
+	  Runtime.empty = R.NS.empty;
+	  Runtime.subtree_tags = R.NS.subtree_tags;
+	  Runtime.subtree_elements = R.NS.subtree_elements;
+	  Runtime.exec = ResJIT.count_exec;
+	})
+	  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
-	mk_runtime M.top_down_run auto v Tree.root R.NS.length R.NS.serialize !Options.output_file
+	mk_runtime
+	  (Runtime.top_down_run {
+	    Runtime.empty = R.NS.empty;
+	    Runtime.subtree_tags = R.NS.subtree_tags;
+	    Runtime.subtree_elements = R.NS.subtree_elements;
+	    Runtime.exec = ResJIT.mat_exec;
+	})
+	  auto v Tree.root R.NS.length R.NS.serialize !Options.output_file
   in
   runtime ()
 ;;