X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fscripts%2Fpublic_html%2Fbench.php;h=0b1186e4aea4c836adf5bc71bb9a896c00eaad1e;hb=5591e27a010ba6eb06cbd61b5b22358f2d572871;hp=1009ace52dbc4a3a7b50b7e708a9aac77004b7b7;hpb=38aba13f4c59bf1a842f507792482d6575f7bcf9;p=helm.git

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>