FIX: (partial) for gap-system#2400

Wrong `IsTrivial` set in empty submagma
hulpke · Apr 27, 2018 · ce7879a · ce7879a
1 parent 6ceb3fc
commit ce7879a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/addmagma.gi b/lib/addmagma.gi
@@ -175,7 +175,7 @@ InstallGlobalFunction( SubadditiveMagmaNC, function( M, gens )
     if IsEmpty( gens ) then
       K:= NewType( FamilyObj(M),
                        IsAdditiveMagma
-                   and IsTrivial
+                   and IsEmpty
                    and IsAttributeStoringRep );
       S:= Objectify( K, rec() );
       SetGeneratorsOfAdditiveMagma( S, [] );