From a9ef69c8968a2fb4624a693608a78c74b2524cc1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?G=C3=A1bor=20Horv=C3=A1th?= <ghorvath@science.unideb.hu>
Date: Wed, 20 Jan 2016 14:11:17 +0100
Subject: [PATCH] Add CanComputeSize to Socle testing conditions

---
 lib/grp.gi | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/lib/grp.gi b/lib/grp.gi
index 23f54337ed5..ce2037d0332 100644
--- a/lib/grp.gi
+++ b/lib/grp.gi
@@ -1592,12 +1592,13 @@ end );
 ##
 InstallMethod( Socle, "for finite nilpotent groups",
               [ IsGroup ],
-              RankFilter( IsGroup and IsFinite and IsNilpotentGroup ) -
-              RankFilter( IsGroup ),
+              RankFilter( IsGroup and CanComputeSize and IsFinite and
+                          IsNilpotentGroup ) - RankFilter( IsGroup ),
   function(G)
     local H, prodH;
 
-    if not IsFinite(G) or not IsNilpotentGroup(G) then
+    if not CanComputeSize(G) or not IsFinite(G)
+       or not IsNilpotentGroup(G) then
       TryNextMethod();
     fi;