X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fl2JIT.ml;h=c3f212e6dd7d31ac318c1a2ab46512dbf6a1dc4a;hb=798507d52a5c11a6d852740056464241538fe76a;hp=a1f1ac4c158a619c2c9b710fefac12719e06fdaf;hpb=efbad47ef803e878d25dbbc4e8c9e844b6a2eea0;p=SXSI%2Fxpathcomp.git

diff --git a/src/l2JIT.ml b/src/l2JIT.ml
index a1f1ac4..c3f212e 100644
--- a/src/l2JIT.ml
+++ b/src/l2JIT.ml
@@ -208,7 +208,7 @@ let rec translate_jump tree tag (jkind:Ata.jump_kind) dir s =
   | _ -> assert false
 
 let count = ref 0
-let () = at_exit (fun () -> Printf.eprintf "Compute jump called %i times\n" !count)
+let () = at_exit (fun () -> Logger.verbose Format.err_formatter "Compute jump called %i times\n" !count)
 module Memo = Hashtbl.Make(struct
   type t = Tag.t * StateSet.t * dir
   let equal (a,b,c) (d,e,f) = a == d && b == e && c == f
@@ -219,7 +219,7 @@ let memo = Memo.create 1024
 let init () = Memo.clear memo
 
 let compute_jump auto tree tag states dir =
-  if !Options.no_jump then
+  if !Config.no_jump then
     if dir == DIR_LEFT then FIRST_CHILD states
     else NEXT_SIBLING states
   else
@@ -267,7 +267,7 @@ let compile cache2 auto tree tag states =
     | BOTH(tr, NOP _, r) -> RIGHT (tr, r)
     | _ -> op
   in
-  if not !Options.no_cache then add cache2 tag states op;
+  if not !Config.no_cache then add cache2 tag states op;
   op
 
 let get_transitions = function