From c243e3404a9bf2b9c8d2e9430f13aeee7e7d057d Mon Sep 17 00:00:00 2001 From: Ulli Kehrle Date: Wed, 7 Nov 2018 17:54:31 +0100 Subject: fix indentation --- subgroupladder.g | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/subgroupladder.g b/subgroupladder.g index 2e99b52..09604d6 100644 --- a/subgroupladder.g +++ b/subgroupladder.g @@ -28,10 +28,10 @@ YoungGroupFromPartition := function(part) P := Group(generators); info := rec( groups := grps, olds := olds, - news := news, - perms := perms, - embeddings := [], - projections := [] ); + news := news, + perms := perms, + embeddings := [], + projections := [] ); SetDirectProductInfo(P, info); return P; -- cgit v1.2.3-24-g4f1b