X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=appx%2Flst%2Fgeneric_eq.icl;h=f3ef2b64d4c71a2e3c7f29158420c5cb41dae599;hb=5702796e5885e85b9e8dcc0d5160dccb9386b05f;hp=7f0a6c91e22f8c7556f7e77db215923a0243260a;hpb=3fe94feeee0efd1922263aca9d578031e2283f61;p=phd-thesis.git

diff --git a/appx/lst/generic_eq.icl b/appx/lst/generic_eq.icl
index 7f0a6c9..f3ef2b6 100644
--- a/appx/lst/generic_eq.icl
+++ b/appx/lst/generic_eq.icl
@@ -20,5 +20,6 @@ gEq{|EITHER|} _  _  _            _            = False
 :: T = C1 Int ([Char], ?Bool) | C2
 derive gEq [], T, (,), ?
 
-Start = (gEq{|*|} C2 (C1 42 ([], ?Just True)), gEq{|*->*|} (<) [1,2,3] [2,3,4])
+Start = (gEq{|*|} C2 (C1 42 ([], ?Just True))
+	, gEq{|*->*|} (<) [1,2,3] [2,3,4])
 // (False, True)