Empty types not in Prop and empty types elimination handled correctly.

[helm.git] / matita / scripts / bench.sql

diff --git a/matita/scripts/bench.sql b/matita/scripts/bench.sql
index a45508548bab6b7ba929cb3e624332234ba597cf..2a49a2d01cd327111c199c9bd7b75d63dbd4af58 100644 (file)
--- 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,