From 04916cd4d1f47fd2d1bec03e04f981564ea386a5 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 15 Mar 2016 08:10:27 +0100
Subject: Reformat task 6

---
 task6.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'task6.tex')

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]$.
 
-- 
cgit v1.2.3

