]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/lib/time.ml
last commit for helena 0.8.2
[helm.git] / helm / software / helena / src / lib / time.ml
index eea82103eadfac638324dd294c751449d7c54268..2ca44689fbdbc91a46f58ae83960e75bd5b345ae 100644 (file)
@@ -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;