From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 21 Dec 2005 15:19:50 +0000 (+0000)
Subject: fix
X-Git-Tag: make_still_working~7966
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=18c6848695fbfa97508e0981f6875a6459429a58;p=helm.git

fix
---

diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php
index 0a09d40ab..bdc238ca5 100644
--- a/helm/matita/scripts/public_html/bench.php
+++ b/helm/matita/scripts/public_html/bench.php
@@ -46,7 +46,10 @@ $query_total = urlencode("Number of compiled tests@@@select mark, COUNT(DISTINCT
 );
 
 function minus1_to_all($s){
-  if ($s = "-1") return "all" else return $s;
+  if ($s = "-1") 
+    return "all";
+  else 
+    return $s;
 }
 
 function links_of($name,$q){