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",