From 01676ad097d01802bcf981fc97529161bd03df8f Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Tue, 23 Mar 2021 12:30:34 +0100
Subject: [PATCH] Make some lists in DirectProductInfo immutable

---
 lib/gprdperm.gi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/gprdperm.gi b/lib/gprdperm.gi
index 90ba248886..1d0de379a5 100644
--- a/lib/gprdperm.gi
+++ b/lib/gprdperm.gi
@@ -31,8 +31,8 @@ BindGlobal("DirectProductOfPermGroupsWithMovedPoints",
 
         # find old domain, new domain, and conjugating permutation
         grp  := grps[i];
-        old  := pnts[i];
-        new  := [deg+1..deg+Length(old)];
+        old  := Immutable(pnts[i]);
+        new  := MakeImmutable([deg+1..deg+Length(old)]);
         perm := MappingPermListList( old, new );
         deg  := deg + Length(old);
         Add( oldgrps, grp );