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

diff --git a/helm/matita/scripts/insert.awk b/helm/matita/scripts/insert.awk
index e38f341ed..d62a6a3ec 100644
--- a/helm/matita/scripts/insert.awk
+++ b/helm/matita/scripts/insert.awk
@@ -1,12 +1,12 @@
  {
 	result=tolower($3);
-	if( $1 ~ "\.opt$" )
+	if( $1 ~ ".opt$" )
 		compilation="opt"
 	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'";