fixed the number of columns in the clusters table

diff --git a/helm/software/matita/help/C/sec_commands.xml b/helm/software/matita/help/C/sec_commands.xml
index 636eac8dc236a66cb744ca5fa8d59e2c5c86ed50..1644c85bd88493728d926261f9b32211cb123a2c 100644 (file)
--- a/helm/software/matita/help/C/sec_commands.xml
+++ b/helm/software/matita/help/C/sec_commands.xml
@@ -139,7 +139,7 @@
            </para>
            <table>
             <title>clusters</title>
-            <tgroup cols="5">
+            <tgroup cols="6">
             <thead>
              <row>
               <entry>name</entry>