diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala
index 43df5a32c0ac3e8d0839220fe69aa163396853e2..4f6fcea250187b93f87d49651efc4f8c41746603 100644
--- a/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala
+++ b/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala
@@ -190,7 +190,7 @@ object SMTLIBCVC4Component extends LeonComponent {
   val optCVC4Options = new LeonOptionDef[Set[String]] {
     val name = "solver:cvc4"
     val description = "Pass extra arguments to CVC4"
-    val default = Set("")
+    val default = Set[String]()
     val parser = setParser(stringParser)
     val usageRhs = "<cvc4-opt>"
   }