
diff -r 83acab8042ad -r c92e38c3cbaa doc-src/TutorialI/appendix.tex
--- a/doc-src/TutorialI/appendix.tex	Thu Dec 13 16:48:07 2001 +0100
+++ b/doc-src/TutorialI/appendix.tex	Thu Dec 13 16:48:34 2001 +0100
@@ -115,7 +115,7 @@
 
 \begin{table}[htbp]
 \begin{center}
-\begin{tabular}{|lllllllll|}
+\begin{tabular}{@{}|lllllllll|@{}}
 \hline
 \texttt{ALL} &
 \texttt{BIT} &




