From 9aad60f67d550a2b6c8f9497b726bc2af3309360 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 10 Mar 2008 10:23:40 +0000
Subject: [PATCH 1/1] Example query fixed.

---
 helm/software/matita/scripts/public_html/bench.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/software/matita/scripts/public_html/bench.php b/helm/software/matita/scripts/public_html/bench.php
index 1009ace52..0b1186e4a 100644
--- a/helm/software/matita/scripts/public_html/bench.php
+++ b/helm/software/matita/scripts/public_html/bench.php
@@ -415,7 +415,7 @@ where
   b1.compilation = b2.compilation and 
   b1.result = b2.result and 
   b1.mark = '<?php echo $before_last_mark ?>' and b2.mark= '<?php echo $last_mark ?>' and
-  ABS(b2.timeuser - b1.timeuser) &lt; 100
+  ABS(b2.timeuser - b1.timeuser) &gt; 100
 order by diff desc;
 </textarea>
 </td>
-- 
2.39.2