From 0a8cd8f6b90725aca060d9451f029e37d387271b Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 21 Dec 2005 15:29:05 +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 42e004f9e..031984926 100644 --- a/helm/matita/scripts/public_html/bench.php +++ b/helm/matita/scripts/public_html/bench.php @@ -46,7 +46,7 @@ $query_total = urlencode("Number of compiled tests@@@select mark, COUNT(DISTINCT ); function minus1_to_all($s){ - if ($s = "-1") + if ($s == "-1") return "all"; else return $s; -- 2.39.2