From c5c55d712f7945a5e10bb7588e8ca7b99aa21674 Mon Sep 17 00:00:00 2001
From: Joshua Moerman <lakseru@gmail.com>
Date: Sat, 3 Nov 2018 15:00:29 +0100
Subject: [PATCH] split=yes blijkt niet goed te werken

---
 content/test-methods.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/content/test-methods.tex b/content/test-methods.tex
index 7db6c00..9f80436 100644
--- a/content/test-methods.tex
+++ b/content/test-methods.tex
@@ -474,7 +474,7 @@ For this, we simply take all shortest sequences from the initial state to the ot
 
 As shown earlier, the set $W = \{ aa, ac, c \}$ is a characterisation set.
 The the W-method gives the following test suite of size 169:
-\setupformulas[split=yes,hang=auto]
+%\setupformulas[split=yes,hang=auto]
 \startformula
 T_{\text{W}} = \{ \alignhere aaaaa, aaaac, aaac, aabaa, aabac, aabc, aacaa, \breakhere
 aacac, aacc, abaa, abac, abc, acaa, acac, acc, baaaa, \breakhere