diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index ab1bfc6c469ecb167a760a84bd30443cdcc8b0dc..a0beb7fba142dccf9150cfaca0a0ad2329baa861 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -46,6 +46,7 @@ class PureScalaValidSuite2 extends PureScalaValidSuite {
 }
 class PureScalaValidSuite3 extends PureScalaValidSuite {
   val optionVariants = List(opts(2))
+  override val ignored = Seq("valid/Predicate.scala")
 }
 class PureScalaValidSuiteZ3 extends PureScalaValidSuite {
   val optionVariants = if (isZ3Available) List(opts(3)) else Nil