From f40c494a4b71538547683cb75878a8c0cd17b95d Mon Sep 17 00:00:00 2001 From: Tianrun Yang Date: Wed, 3 Jul 2024 14:55:07 +0100 Subject: [PATCH] fix consecutive empty lines --- gap/attributes/attr.gi | 1 - 1 file changed, 1 deletion(-) diff --git a/gap/attributes/attr.gi b/gap/attributes/attr.gi index 02a50f1ff..5c19dbb37 100644 --- a/gap/attributes/attr.gi +++ b/gap/attributes/attr.gi @@ -1052,7 +1052,6 @@ function(S) return out; end); - InstallMethod(NambooripadLeqRegularSemigroup, "for a semigroup", [IsSemigroup], function(S)