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