From 575f0b815339767d73e74cf8b617490afee0917f Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Sat, 7 Dec 2024 11:53:54 +0100
Subject: [PATCH] Make DiagonalOfMultiplicationTable declaration more generic

... to avoid a warning when loading after the smallantimagmas package.
---
 gap/properties.gd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gap/properties.gd b/gap/properties.gd
index 8b32718..7dbdd23 100644
--- a/gap/properties.gd
+++ b/gap/properties.gd
@@ -45,7 +45,7 @@ DeclareAttribute("Annihilators", IsSemigroup);
 # </Description>
 # </ManSection>
 # <#/GAPDoc>
-DeclareAttribute("DiagonalOfMultiplicationTable", IsSemigroup);
+DeclareAttribute("DiagonalOfMultiplicationTable", IsMagma);
 
 # <#GAPDoc Label="DisplaySmallSemigroup">
 # <ManSection>