diff options
Diffstat (limited to 'examples/api/cpp/combination.cpp')
| -rw-r--r-- | examples/api/cpp/combination.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/examples/api/cpp/combination.cpp b/examples/api/cpp/combination.cpp index d47897a7c..0cc9aa186 100644 --- a/examples/api/cpp/combination.cpp +++ b/examples/api/cpp/combination.cpp @@ -38,7 +38,6 @@ int main() { Solver slv; slv.setOption("produce-models", "true"); // Produce Models - slv.setOption("output-language", "cvc"); // Set the output-language to CVC's slv.setOption("dag-thresh", "0"); // Disable dagifying the output slv.setOption("output-language", "smt2"); // use smt-lib v2 as output language slv.setLogic(string("QF_UFLIRA")); |