X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=utils%2Falarm.ml;h=3387b45f66f38f04c439aeab5aa2df17f0652815;hb=f21bce61b0b8c121ae9ada3717079bdd81451f92;hp=5a9c83f383f104fb2548cbc6ea79013ed3bb60e2;hpb=ae5b9f9b96a702ae8a8f61a31e5aa012283ce185;p=SXSI%2Fxpathcomp.git

diff --git a/utils/alarm.ml b/utils/alarm.ml
index 5a9c83f..3387b45 100644
--- a/utils/alarm.ml
+++ b/utils/alarm.ml
@@ -71,7 +71,7 @@ let rec monitor pid start finish mem fmt =
       else
 	begin
 	  if not !Options.quiet then
-	    fprintf fmt "[%f] Memory: current=%ikb max=%ikb\n%!"
+	    fprintf fmt "[% 11.3f] Memory: current=%ikb max=%ikb\n%!"
 	      (current_time -. start) current_mem !max_mem;
 	  usleep !Options.interval;
 	  monitor pid start finish mem fmt