Sync recent change to HPC-GAP

gap-system · May 30, 2018 · ee1536e · ee1536e
1 parent 479f0c9
commit ee1536e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hpcgap/lib/coll.gd b/hpcgap/lib/coll.gd
@@ -1425,7 +1425,7 @@ DeclareProperty( "IsNonTrivial", IsCollection );
 ##  </ManSection>
 ##  <#/GAPDoc>
 ##
-DeclareProperty( "IsFinite", IsCollection );
+DeclareProperty( "IsFinite", IsListOrCollection );
 
 InstallSubsetMaintenance( IsFinite,
     IsCollection and IsFinite, IsCollection );