diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index 524a516ffd90842261d2d5d99851c52942ea344c..ff1fcd53b544653fd05e3fd28f6311e12dfd4889 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -59,7 +59,11 @@ class PureScalaInvalidSuiteFairZ3 extends PureScalaInvalidSuite {
 
 class PureScalaInvalidSuiteCVC4 extends PureScalaInvalidSuite {
   val optionVariants = isCVC4Available.option(opts.last).toList
-  override val ignored = List("invalid/BinarySearchTreeQuant.scala", "invalid/PropositionalLogic.scala")
+  override val ignored = List(
+    "invalid/AbstractRefinementMap2.scala",
+    "invalid/BinarySearchTreeQuant.scala",
+    "invalid/PropositionalLogic.scala"
+  )
 }
 
 class PureScalaInvalidSuiteZ3 extends PureScalaInvalidSuite {