diff --git a/hpcgap/lib/coll.gd b/hpcgap/lib/coll.gd index 42adf03114..54a269aa84 100644 --- a/hpcgap/lib/coll.gd +++ b/hpcgap/lib/coll.gd @@ -1425,7 +1425,7 @@ DeclareProperty( "IsNonTrivial", IsCollection ); ## ## <#/GAPDoc> ## -DeclareProperty( "IsFinite", IsCollection ); +DeclareProperty( "IsFinite", IsListOrCollection ); InstallSubsetMaintenance( IsFinite, IsCollection and IsFinite, IsCollection );