X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Finsert.awk;h=d62a6a3ecdc2aef395833e1a6a04dc068c017288;hb=dc9506be01f197dd60900f10ae2875240e26b761;hp=c881c0966520b9e5b8aa22c9f7f16af7f1dd4c89;hpb=adb9e692639bd61e3eed2ba36dfd2d2eeeecd1bb;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'";