diff --git a/benchmark/grpauto/permiso.tst b/benchmark/grpauto/permiso.tst index ad8a895e33..e4b7fca4a4 100644 --- a/benchmark/grpauto/permiso.tst +++ b/benchmark/grpauto/permiso.tst @@ -2,6 +2,8 @@ ## ## Warning: most of the later tests need more than the default memory allocation +gap> SetAssertionLevel(0);; + # # Too hard work for permiso # diff --git a/lib/clashom.gi b/lib/clashom.gi index d7b637770a..da1c934973 100644 --- a/lib/clashom.gi +++ b/lib/clashom.gi @@ -1054,7 +1054,7 @@ local clT, # classes T Info(InfoHomClass,1,"fused to ",Length(newreps)," classes"); od; - Assert(2,Sum(clout,i->Index(F,i[2]))=Size(F)-Size(M)); + if Sum(clout,i->Index(F,i[2]))<>Size(F)-Size(M) then return fail;fi; Info(InfoHomClass,2,Length(clin)," inner classes, total size =", Sum(clin,i->Index(F,i[2])));