tidied up 4, done

[ar1516.git] / a2 / 3.tex

diff --git a/a2/3.tex b/a2/3.tex
index 642c4bb..7f180fd 100644 (file)
--- a/a2/3.tex
+++ b/a2/3.tex
@@ -46,7 +46,7 @@ tools rather than elaborating the questions by hand.}
                Running the same file with \textsc{mace4} gives the smallest
                counterexample listed in Table~\ref{tab:s3a}.
 
-               \begin{table}[H]
+               \begin{table}[h]
                        \centering
                        \begin{tabular}{llll}
                                $G=\{0,1,2,3,4,5\}$ & $I=0$ &