Uses the Logger.print function instead of Printf.eprintf

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

diff --git a/src/runtime.ml b/src/runtime.ml
index d489a64..67d7f43 100644 (file)
--- a/src/runtime.ml
+++ b/src/runtime.ml
@@ -74,7 +74,7 @@ module Make (U : ResJIT.S) : S with type result_set = U.NS.t =
        let show_stats a =
          let count = ref 0 in
          Cache.Lvl3.iteri (fun _ _ _ _ b -> if not b then incr count) a;
-         eprintf "%!L3JIT: %i used entries\n%!" !count
+         Logger.print err_formatter "@?L3JIT: %i used entries@\n@?" !count
        let create () =
          let v = Cache.Lvl3.create 1024 dummy in
          if !Options.verbose then at_exit (fun () -> show_stats v);
@@ -308,19 +308,6 @@ DEFINE LOOP_TAG (t, states, tag, ctx) = (
 
     (*** Bottom-up evaluation function **)
 
-    let ns_print fmt t =
-      Format.fprintf fmt "{ ";
-      U.NS.iter begin fun node ->
-       Format.fprintf fmt "%a " Node.print node;
-      end t;
-      Format.fprintf fmt "}"
-
-    let slot_print fmt t =
-      Array.iteri begin fun state ns ->
-       Format.eprintf "%a -> %a\n" State.print state ns_print ns;
-      end t
-
-
     let eval_trans auto tree parent res1 res2 = assert false
 
     let rec uniq = function