diff --git a/tests/regression/77-lin2vareq/36-refinement-oppositebounds.c b/tests/regression/77-lin2vareq/36-refinement-oppositebounds.c
index 2af54f62e2..c930a1610d 100644
--- a/tests/regression/77-lin2vareq/36-refinement-oppositebounds.c
+++ b/tests/regression/77-lin2vareq/36-refinement-oppositebounds.c
@@ -1,4 +1,4 @@
-//SKIP PARAM:  --enable ana.int.interval  --set sem.int.signed_overflow assume_none
+//SKIP PARAM:  --enable ana.int.interval  --set sem.int.signed_overflow assume_none  --set ana.activated[+] lin2vareq
 // motivated from SVCOMP's terminator_02-1.c
 // checks, whether the lin2var interval refinement meddles with the wrong bounds