From 53b993e769b2223b3f6c9a052d4b014e83bc6d01 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 21 Dec 2005 14:35:54 +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 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>
-- 
2.39.2