From 9dabeb3d28e4fcefd518fa5a5d3c1c3f92a59d2e Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Sat, 2 Nov 2024 20:04:21 +0100
Subject: [PATCH] Generalize IsSelfDualSemigroup declaration

---
 gap/attributes/properties.gd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gap/attributes/properties.gd b/gap/attributes/properties.gd
index af321c8d6..37806612f 100644
--- a/gap/attributes/properties.gd
+++ b/gap/attributes/properties.gd
@@ -44,7 +44,7 @@ DeclareOperation("IsNormalInverseSubsemigroup",
                  [IsInverseSemigroup, IsInverseSemigroup]);
 
 if not IsBoundGlobal("IsSelfDualSemigroup") then
-  DeclareProperty("IsSelfDualSemigroup", IsSemigroup and CanUseFroidurePin);
+  DeclareProperty("IsSelfDualSemigroup", IsSemigroup);
 fi;
 
 DeclareSynonymAttr("IsRectangularGroup",