X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Feval.ml;fp=src%2Feval.ml;h=575ee09db0cc4614397bece43c1bf75ca1b1b4e3;hp=d90be92c094a443bb7391b2da564df562c14a6fc;hb=969febf12344a3fe3bf793a323b2e88f7b20ebae;hpb=acd23a33d837d03c813212ec3896a86edef16e87

diff --git a/src/eval.ml b/src/eval.ml
index d90be92..575ee09 100644
--- a/src/eval.ml
+++ b/src/eval.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-04-25 11:20:58 CEST by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-04-25 15:12:45 CEST by Kim Nguyen>
 *)
 
 INCLUDE "utils.ml"
@@ -145,7 +145,8 @@ END
       if not (Bitvector.unsafe_get run.unstable i) then
         incr count
     done;
-    eprintf "@[STATS: %i nodes over %i were skipped in iteration %i (%.2f %%), redo is: %b@]@."
+    Logger.msg `STATS
+      "%i nodes over %i were skipped in iteration %i (%.2f %%), redo is: %b"
       !count len run.pass (100. *. (float !count /. float len))
       run.redo
 
@@ -170,7 +171,7 @@ END
       stats run;
       run.pass <- run.pass + 1;
     done;
-    at_exit (fun () -> eprintf "@[STATS: %i iterations@]@." run.pass);
+    at_exit (fun () -> Logger.msg `STATS "%i iterations" run.pass);
     at_exit (fun () -> stats run);
     let r = get_results auto tree node run.config in