ocaml 3.09 transition

[helm.git] / helm / matita / scripts / insert.awk

diff --git a/helm/matita/scripts/insert.awk b/helm/matita/scripts/insert.awk
index c881c0966520b9e5b8aa22c9f7f16af7f1dd4c89..d62a6a3ecdc2aef395833e1a6a04dc068c017288 100644 (file)
--- a/helm/matita/scripts/insert.awk
+++ b/helm/matita/scripts/insert.awk
@@ -5,8 +5,8 @@
        else
                compilation="byte"
        test=$2 
-       time="0:" $4
-       timeuser="0:0:" $5
+       time=$4
+       timeuser=$5
        mark=$7
        if ( $8 ~ "^gc-off$") 
                options="'gc-off'";