Reformat task 6

1 files changed, 3 insertions, 2 deletions

diff --git a/task6.tex b/task6.tex
index 09b585f..9693eb8 100644
--- a/task6.tex
+++ b/task6.tex
@@ -11,6 +11,8 @@
 
 \begin{document}
 
+\allowdisplaybreaks
+
 \maketitle
 
 \section*{Opdracht 2.16}
@@ -40,8 +42,7 @@
   \dimpl\> & \transl{\scomp\assB\whileLoop}{\s753} \\
   \dimpl\> & \transl\whileLoop{\s253} \\
   \dimpl\> & \transl\ifLoop{\s253} \\
-  \dimpl\> & \transl\sskip{\s253} \\
-  \dimpl\> & \s253,
+  \dimpl\> & \transl\sskip{\s253} \>\dimpl\> \s253,
 \end{align*}
 waar $\s{a}{b}{c}$ kort is voor $[x\mapsto a,y\mapsto b,z\mapsto c]$.