]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/lib/time.ml
lambda-delta:
[helm.git] / helm / software / lambda-delta / lib / time.ml
index f139fdfbe6b3f9b5c87fd7a0b40c0f6d86f1adc8..2eec540c90e208bca158af8964a977df088be237 100644 (file)
@@ -24,7 +24,7 @@ let utime_stamp =
 let gmtime msg =
    let gmt = Unix.gmtime (Unix.time ()) in
    let yy = gmt.Unix.tm_year + 1900 in
-   let mm = gmt.Unix.tm_mon in
+   let mm = gmt.Unix.tm_mon + 1 in
    let dd = gmt.Unix.tm_mday in
    let h = gmt.Unix.tm_hour in
    let m = gmt.Unix.tm_min in