]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/lib/time.ml
we enabled the new style xml exportation, in particular for dual_rg
[helm.git] / helm / software / lambda-delta / lib / time.ml
index 13a4c0aba3a4ed45562de2dd6e54c53248af5a94..42d7d39a7be4abe740328657978bdf13821b28bb 100644 (file)
@@ -18,7 +18,7 @@ let utime_stamp =
       let times = Unix.times () in
       let stamp = times.Unix.tms_utime in
       let lap = stamp -. !old in
-      L.warn (P.sprintf "UTC STAMP (%s): %f (%f)" msg stamp lap);
+      L.warn (P.sprintf "USR TIME STAMP (%s): %f (%f)" msg stamp lap);
       old := stamp
 
 let gmtime msg =
@@ -30,5 +30,5 @@ let gmtime msg =
    let m = gmt.Unix.tm_min in
    let s = gmt.Unix.tm_sec in
    L.warn (
-      P.sprintf "UTC STAMP (%s): %u/%u/%u %u:%u:%u" msg yy mm dd h m s
+      P.sprintf "UTC TIME STAMP (%s): %u/%u/%u %u:%u:%u" msg yy mm dd h m s
    )