X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fmain.ml;fp=src%2Fmain.ml;h=42c88221948cf4694cf59d399dc4f7f62c2f380e;hb=3e6b06512ddd85717555d6e3545f712746abfe82;hp=fa16737c5a90c15dc167e1ca284ff62a9ab456b5;hpb=74aa5cc3aa21c5719a75358303e2daad12f8502c;p=SXSI%2Fxpathcomp.git

diff --git a/src/main.ml b/src/main.ml
index fa16737..42c8822 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -126,10 +126,16 @@ let _ =
 	  Gc.compact();
 	  Gc.set (tuned_gc);
 	  let runtime =
-	    let module R = ResJIT.Count in
+	    if !Options.count_only then
+	    let module R = ResJIT.Make(NodeSet.Partial(NodeSet.Count)) in
 	    let module M = Runtime.Make(R) in
 	(* mk_runtime run auto doc arg count print outfile  *)
 	    mk_runtime M.grammar_run auto (Obj.magic g) () R.NS.length (Obj.magic R.NS.serialize) None
+	    else
+	      let module R = ResJIT.Mat in
+	      let module M = Runtime.Make(R) in
+	    (* mk_runtime run auto doc arg count print outfile  *)
+	      mk_runtime M.grammar_run auto (Obj.magic g) () R.NS.length (Obj.magic R.NS.serialize) None
 	  in
 	  runtime ();
 	  exit 0