X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Finsert.awk;h=d62a6a3ecdc2aef395833e1a6a04dc068c017288;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=c881c0966520b9e5b8aa22c9f7f16af7f1dd4c89;hpb=cc71d7571ad58f836e9ce92ce3034ea8a933ef50;p=helm.git

diff --git a/helm/matita/scripts/insert.awk b/helm/matita/scripts/insert.awk
index c881c0966..d62a6a3ec 100644
--- 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'";