From 1e52600b6c984b29eb6e3c1f23b251e23186f8fa Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 21 Dec 2005 15:54:14 +0000 Subject: [PATCH] fix --- helm/matita/scripts/public_html/bench.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php index e6cdafd24..f1b424bb0 100644 --- a/helm/matita/scripts/public_html/bench.php +++ b/helm/matita/scripts/public_html/bench.php @@ -42,7 +42,7 @@ $query_csc_opt = urlencode("Performances (opt and GC) per mark@@@select mark, SE $query_total = urlencode( -"Max N@@@select MAX(*) from tab where col = (select COUNT(DISTINCT test)) from bench group by mark order by mark desc)" +"Max N@@@select MAX(col) from tab where col = (select COUNT(DISTINCT test)) from bench group by mark order by mark desc)" . "###" . "Number of compiled tests@@@select mark, COUNT(DISTINCT test) as N from bench group by mark order by mark desc" ); -- 2.39.2