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

diff --git a/helm/matita/scripts/bench.sql b/helm/matita/scripts/bench.sql
index b7e1bef7e..a45508548 100644
--- a/helm/matita/scripts/bench.sql
+++ b/helm/matita/scripts/bench.sql
@@ -2,8 +2,8 @@ DROP TABLE bench;
 
 CREATE TABLE bench (
 	mark VARCHAR(100) NOT NULL,
-	time TIME NOT NULL,
-	timeuser TIME NOT NULL,
+	time VARCHAR(8) NOT NULL,
+	timeuser VARCHAR(8) NOT NULL,
 	compilation ENUM('byte','opt') NOT NULL,
 	test VARCHAR(100) NOT NULL,
 	result ENUM('ok','fail') NOT NULL,