X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=afp%2Fa10%2Fa10.icl;h=9a44cd8348c258da3c2c0b9d1c86bd02fb194ea9;hb=95e99be6bdd04513688b88f1afaefac360eeff1d;hp=1da0267d4bc158eed38d62003e95815458401230;hpb=d26be584859f046d29708d03c41861d421cefc6d;p=clean-tests.git

diff --git a/afp/a10/a10.icl b/afp/a10/a10.icl
index 1da0267..9a44cd8 100644
--- a/afp/a10/a10.icl
+++ b/afp/a10/a10.icl
@@ -9,7 +9,12 @@ import Data.Maybe
 import Data.Error
 import Text => qualified join
 
-:: BM a b = {t :: a->b, f :: b->a, t2 :: A.c t:(t c a)->t c b, f2 :: A.c t:(t b c)->t a c}
+:: BM a b =
+	{ t :: a->b
+	, f :: b->a
+	, t2 :: A.c t:(t c a)->t c b
+	, f2 :: A.c t:(t b c)->t a c
+	}
 bm = {t = id, f = id, t2 = id, f2 = id}
 
 :: Action b a