From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 28 Oct 2005 16:22:28 +0000 (+0000)
Subject: fix
X-Git-Tag: V_0_7_2_3~175
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=adb9e692639bd61e3eed2ba36dfd2d2eeeecd1bb;p=helm.git

fix
---

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 @@@" .