From a1be9c6cd2f6231c7cb472c84b7da11106e3c3c1 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 23 Apr 2015 17:32:09 +0200
Subject: [PATCH] Default CVC4 options are empty
---
src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala
index 43df5a32c..4f6fcea25 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>"
}
--
GitLab