X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fscripts%2Fbench.sql;h=2a49a2d01cd327111c199c9bd7b75d63dbd4af58;hb=a5bfa65b18a876fca982270f673c686a7d124f65;hp=a45508548bab6b7ba929cb3e624332234ba597cf;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

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