diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index f2e709d7b6b83321c4dc0df09bdd940cc193ee81..744e6b2f6cf7a3a7cfcafb8905b0089791ae6e8b 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -40,7 +40,7 @@ class PureScalaValidSuiteCodeGenNativeZ3 extends PureScalaValidSuite {
 }
 class PureScalaValidSuiteEnumNativeZ3 extends PureScalaValidSuite {
   val optionVariants = List(opts(2))
-  override val ignored = Seq("valid/Predicate.scala","valid/TraceInductTacticTest.scala")
+  //override val ignored = Seq("valid/Predicate.scala","valid/TraceInductTacticTest.scala")
 }
 class PureScalaValidSuiteZ3 extends PureScalaValidSuite {
   val optionVariants = isZ3Available.option(opts(3)).toList