X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fruntime.ml;h=46e1b01aee653a7ea65acf553ff8badd31795a30;hb=16e61f135ed3043f4c656c423c67654ceb058411;hp=52583c0a5e09b6cec86bd0334275fc3804719369;hpb=3889dd5519dcecdc0e88c4ee5be8d90cabdaf75f;p=SXSI%2Fxpathcomp.git

diff --git a/src/runtime.ml b/src/runtime.ml
index 52583c0..46e1b01 100644
--- a/src/runtime.ml
+++ b/src/runtime.ml
@@ -152,7 +152,8 @@ module Make (U : ResJIT.S) : S with type result_set = U.NS.t =
           let f = gen_code auto tlist s1 s2 in
           LOG(__ "grammar" 2 "Inserting: %i, %a, %a\n%!"
             (Uid.to_int tlist.Translist.Node.id) StateSet.print s1 StateSet.print s2);
-          add cache tlist s1 s2 f; f
+          if not !Options.no_cache then add cache tlist s1 s2 f;
+	  f
       end
 
 DEFINE LOOP (t, states, ctx) = (
@@ -295,6 +296,7 @@ DEFINE LOOP_TAG (t, states, tag, ctx) = (
 
     let top_down_run auto tree root =
       Ata.init ();
+      L2JIT.init();
       let res, slot = full_top_down_run auto auto.init tree root in
       slot.(StateSet.min_elt auto.topdown_marking_states)