Don't fail testsuite if FinInG is unavailable (#5565)

gap-system · Jan 9, 2024 · 5ae6e1e · 5ae6e1e
1 parent f2129b2
commit 5ae6e1e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tst/testbugfix/2023-10-18-SetDimension.tst b/tst/testbugfix/2023-10-18-SetDimension.tst
@@ -1,6 +1,5 @@
 # issue reported by Michel Lavrauw on 18 October 2023
-gap> LoadPackage("fining",false);
-true
+#@if LoadPackage("fining",false)
 gap> G:=ProjectivityGroup(PG(8,2));
 The FinInG projectivity group PGL(9,2)
 gap> H:=Group(Identity(G));
@@ -11,3 +10,4 @@ gap> IsTrivial(H);
 true
 gap> IsNonTrivial(H); # this used to return "true"
 false
+#@fi