From ee1536e56cdb00a89e62bad48574f98d72590db4 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Wed, 30 May 2018 12:59:02 +0200
Subject: [PATCH] Sync recent change to HPC-GAP

---
 hpcgap/lib/coll.gd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 );
 ##  </ManSection>
 ##  <#/GAPDoc>
 ##
-DeclareProperty( "IsFinite", IsCollection );
+DeclareProperty( "IsFinite", IsListOrCollection );
 
 InstallSubsetMaintenance( IsFinite,
     IsCollection and IsFinite, IsCollection );