ocaml 3.09 transition

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

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