From e7d66d12c7fb79081195068d5ae9ecb8bb673248 Mon Sep 17 00:00:00 2001
From: Mathieu Dutour Sikiric <mathieu.dutour@gmail.com>
Date: Fri, 22 Apr 2022 11:25:00 +0200
Subject: [PATCH] More corrections. Next is debugging the CI.

---
 lib/csetperm.gi | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/lib/csetperm.gi b/lib/csetperm.gi
index 4b888e199c..1af3b36cbf 100644
--- a/lib/csetperm.gi
+++ b/lib/csetperm.gi
@@ -638,7 +638,7 @@ function(cos1,cos2)
             H2:=Intersection(H1_sigma, H2);
             continue;
         fi;
-        H2_sigma:= ClosureGroup(H2, sigma);
+        H2_sigma:=ClosureGroup(H2, sigma);
         if not IsSubgroup(H2_sigma, H1) then
             H1:=Intersection(H2_sigma, H1);
             continue;
@@ -686,8 +686,7 @@ function(cos1,cos2)
     fi;
     # So now Order(H1) <= Order(H2)
     cosTest:=RightCoset(H2, sigma);
-    for eCos in RightCosets(H1, theInt) do
-        rho:=Representative(eCos);
+    for rho in RightTransversal(H1, theInt) do
         if rho in cosTest then
             return RightCoset(theInt, rho * shift);
         fi;