X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=methods.dsl.tex;h=f21cb88c6d2773146e6d3cf4864e0d74a55ff92f;hb=ea7fe3a71df1e5a5da335057b956fe69c4718249;hp=8304262942107b5f374f5f06d5fda9c944939025;hpb=209f5ef51d0f63ed47230a5a0e4226b4c2487fff;p=msc-thesis1617.git

diff --git a/methods.dsl.tex b/methods.dsl.tex
index 8304262..f21cb88 100644
--- a/methods.dsl.tex
+++ b/methods.dsl.tex
@@ -142,7 +142,7 @@ instance intArith PrettyPrinter where
 Start :: (PP String, Bool)
 Start = (print e0, eval e0)
 where
-	e0 :: a Bool | intArith a &  boolArith a
+	e0 :: a Bool | intArith, boolArith a
 	e0 = eq (lit 42) (lit 21 +. lit 21)
 
 	print (PP p) = p