EXTRA WORK: Please the linter

gap-system · Jul 24, 2023 · aafd490 · aafd490
1 parent a472ccf
commit aafd490
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/lib/ghomfp.gi b/lib/ghomfp.gi
@@ -1066,7 +1066,7 @@ end);
 InstallMethod(MaximalAbelianQuotient,"whole fp group",
         true, [IsSubgroupFpGroup and IsWholeFamily], 0,
 function(f)
-local m,s,g,i,j,rel,gen,img,fin,hom,d,pos;
+local m,s,g,i,j,gen,img,hom,d,pos;
 
   # since f is the full group, exponent sums are with respect to its
   # generators.

diff --git a/lib/grpfp.gi b/lib/grpfp.gi
@@ -218,7 +218,7 @@ local hom,gp,f;
     # nilpotent
     f:=Factors(Size(gp));
     hom:=EpimorphismPGroup(gp,f[1],Length(f));
-  elif HasIsSolvableGroup(gp) and IsSolvableGroup(gp) and 
+  elif HasIsSolvableGroup(gp) and IsSolvableGroup(gp) and
     not (HasSize(gp) and Size(gp)=infinity) then
     # solvable
     hom:=EpimorphismSolvableQuotient(gp,Size(gp));

diff --git a/lib/kbsemi.gi b/lib/kbsemi.gi
@@ -427,7 +427,7 @@ function(kbrws,v)
     #modifies the list pairs2check in such a way that the previous indexes
     #are modified so they correspond to same pairs as before
     remove_rule:=function(i)
-      local j,q,a,k,l,kk;
+      local j,q,l,kk;
 
       if kbdag<>fail then
         # update lookup structure
@@ -512,7 +512,7 @@ function(kbrws,v)
     #modifies the list pairs2check in such a way that the previous indexes
     #are modified so they correspond to same pairs as before
     remove_rules:=function(weg)
-      local j,q,a,k,l,kk,i,neu,x,y;
+      local j,q,a,l,kk,i,neu,x,y;
 
       if kbdag<>fail then
         for i in weg do