From f2413e36750c309234d2f26768a4a3bd31011a00 Mon Sep 17 00:00:00 2001 From: Kamal Saleh Date: Sat, 10 Dec 2022 10:06:52 +0100 Subject: [PATCH] unify code-styling by removing some whitespaces --- gap/catreps.g | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gap/catreps.g b/gap/catreps.g index 49b6421..96e0909 100644 --- a/gap/catreps.g +++ b/gap/catreps.g @@ -147,7 +147,7 @@ ConcreteCategory:=function(arg) od; od; codomains:=SSortedList(codomains); - + #Ensures domains/codomains of morphisms in provided objects list for dom in domains do included:=false; @@ -175,7 +175,7 @@ ConcreteCategory:=function(arg) od; output.objects:=SSortedList(arg[2]); - + elif Length(arg)=1 then ObjectsList(output); fi;