- renamed ocaml/ to components/

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

diff --git a/helm/matita/scripts/bench.sql b/helm/matita/scripts/bench.sql
deleted file mode 100644 (file)
index a455085..0000000
--- a/helm/matita/scripts/bench.sql
+++ /dev/null
@@ -1,13 +0,0 @@
-DROP TABLE bench;
-
-CREATE TABLE bench (
-       mark VARCHAR(100) 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,
-       options SET('gc-off','gc-on')
-);
-
-DESCRIBE bench;