diff --git a/lib/fpmon.gd b/lib/fpmon.gd index 6d34b537a5..709c08b559 100644 --- a/lib/fpmon.gd +++ b/lib/fpmon.gd @@ -213,7 +213,8 @@ DeclareAttribute("RelationsOfFpMonoid",IsFpMonoid); ## ## ## -DeclareAttribute("IsomorphismFpMonoid",IsMonoid); + +DeclareAttribute("IsomorphismFpMonoid",IsSemigroup); ############################################################################ ##