diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index d2a1215f9b9793b88f206332ef12bfd61bfb1565..95777486dbc1a6032028cfd57cf306ef029fa58c 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -17,12 +17,12 @@ abstract class PureScalaVerificationSuite extends VerificationSuite {
   val isCVC4Available = SolverFactory.hasCVC4
 
   val opts: List[List[String]] = {
-    List(
+    (List(
       List("--feelinglucky"),
       List("--codegen", /*"--evalground",*/ "--feelinglucky"),
       List("--solvers=fairz3,enum", "--codegen", /*"--evalground",*/ "--feelinglucky")) ++
       isZ3Available.option(List("--solvers=smt-z3", "--feelinglucky")) ++
-      isCVC4Available.option(List("--solvers=smt-cvc4", "--feelinglucky"))
+      isCVC4Available.option(List("--solvers=smt-cvc4", "--feelinglucky")))
         .map( _ :+ "--timeout=120")
   }