From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 21 Dec 2005 14:35:54 +0000 (+0000)
Subject: fix
X-Git-Tag: make_still_working~7971
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=53b993e769b2223b3f6c9a052d4b014e83bc6d01;p=helm.git

fix
---

diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php
index e0ebe0310..e2c4db672 100644
--- a/helm/matita/scripts/public_html/bench.php
+++ b/helm/matita/scripts/public_html/bench.php
@@ -58,7 +58,7 @@ $query_total = urlencode("Number of compiled tests@@@select mark, COUNT(DISTINCT
       <li><a href="showquery.php?query=<? echo $query_auto; ?>">Auto performances</a></li>
       <li><a href="showquery.php?query=<? echo $query_csc; ?>">Global performances (bytecode)</a></li>
       <li><a href="showquery.php?query=<? echo $query_csc_opt; ?>">Global performances (nativecode)</a></li>
-      <li><a href="showquery.php?query=<? echo $quey_total; ?>">Number of compiled tests</a></li>
+      <li><a href="showquery.php?query=<? echo $query_total; ?>">Number of compiled tests</a></li>
       <li><a href="showquery.php?query=<? echo $quey_all; ?>">All table contents</a></li>
       </ul>
     </p>