up

[phd-thesis.git] / appx / lst / generic_eq.icl

diff --git a/appx/lst/generic_eq.icl b/appx/lst/generic_eq.icl
index 7f0a6c9..f3ef2b6 100644 (file)
--- 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)