From 6a02b1404e9e1ec8eb204e84414dec05148a4e87 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 21 Mar 2006 14:01:53 +0000
Subject: [PATCH] go

---
 helm/software/matita/scripts/public_html/bench.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/helm/software/matita/scripts/public_html/bench.php b/helm/software/matita/scripts/public_html/bench.php
index 84f27d6e2..57f2d40b5 100644
--- a/helm/software/matita/scripts/public_html/bench.php
+++ b/helm/software/matita/scripts/public_html/bench.php
@@ -171,8 +171,9 @@ function links_of($name,$q,$limits){
 <? query("describe bench","printer"); ?>
 </tr>
 <tr><td></td></tr>
-<tr><td>SQL (only one query, ';' if present must terminate the query, no characters allowed after it):</td></tr>
-<tr><td>
+<tr><td colspan="7">
+SQL (only one query, ';' if present must terminate the query, no characters allowed after it):</td></tr>
+<tr><td colspan="7">
 <textarea rows="10" cols="120" name="query"/>
 select 
   b1.test as test, b1.timeuser as oldtime, b2.timeuser as newtime, b1.compilation as comp, b1.options as opts
-- 
2.39.5