X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Flib%2Ftime.ml;h=2ca44689fbdbc91a46f58ae83960e75bd5b345ae;hb=1be981691870cca039b1af1fb954491c2020d483;hp=eea82103eadfac638324dd294c751449d7c54268;hpb=34e6104ef149e3776d0ab7f0930ae73f0e8de157;p=helm.git

diff --git a/helm/software/helena/src/lib/time.ml b/helm/software/helena/src/lib/time.ml
index eea82103e..2ca44689f 100644
--- a/helm/software/helena/src/lib/time.ml
+++ b/helm/software/helena/src/lib/time.ml
@@ -9,7 +9,7 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-module P = Printf
+module KP = Printf
 
 module L = Log
 
@@ -21,7 +21,7 @@ let utime_stamp =
       let times = Unix.times () in
       let stamp = times.Unix.tms_utime in
       let lap = stamp -. !old in
-      let str = P.sprintf "USR TIME STAMP (%s): %f (%f)" msg stamp lap in
+      let str = KP.sprintf "USR TIME STAMP (%s): %f (%f)" msg stamp lap in
       L.warn level str;
       old := stamp
 
@@ -33,5 +33,5 @@ let gmtime msg =
    let h = gmt.Unix.tm_hour in
    let m = gmt.Unix.tm_min in
    let s = gmt.Unix.tm_sec in
-   let str = P.sprintf "UTC TIME STAMP (%s): %u/%u/%u %u:%u:%u" msg yy mm dd h m s in
+   let str = KP.sprintf "UTC TIME STAMP (%s): %u/%u/%u %u:%u:%u" msg yy mm dd h m s in
    L.warn level str;