Completely silences the output unless -v is given.

[SXSI/xpathcomp.git] / src / l2JIT.ml

diff --git a/src/l2JIT.ml b/src/l2JIT.ml
index a1f1ac4..8e623e0 100644 (file)
--- 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