From adb9e692639bd61e3eed2ba36dfd2d2eeeecd1bb Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 28 Oct 2005 16:22:28 +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 95243617c..07b468cc8 100644 --- a/helm/matita/scripts/public_html/bench.php +++ b/helm/matita/scripts/public_html/bench.php @@ -12,7 +12,7 @@ $query_fail = urlencode( "select mark, count(distinct test) as fail_no from bench where result = 'fail' group by mark order by mark desc;" . "###" . "Tests failed:@@@" . - "select distinct mark, test, result from bench where result = 'fail' sort by mark desc;" + "select distinct mark, test, result from bench where result = 'fail' order by mark desc;" ); $query_gc = urlencode( "GC usage @@@" . -- 2.39.2