lint

semigroups · Aug 10, 2022 · 7eaf553 · 7eaf553
1 parent 283f171
commit 7eaf553
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gap/attributes/rms-translat.gi b/gap/attributes/rms-translat.gi
@@ -542,7 +542,7 @@ SEMIGROUPS.NormalRMSLinkedTriples := function(S, opt...)
 end;
 
 SEMIGROUPS.BitranslationsNormalRMS := function(H, opt...)
-  local S, out, nr_only, nr, triple;
+  local S, out, nr_only, triple;
 
   S := UnderlyingSemigroup(H);