diff options
Diffstat (limited to 'examples/api/combination-new.cpp')
| -rw-r--r-- | examples/api/combination-new.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/combination-new.cpp b/examples/api/combination-new.cpp index 546d9ee9c..111f71852 100644 --- a/examples/api/combination-new.cpp +++ b/examples/api/combination-new.cpp @@ -38,7 +38,7 @@ int main() Solver slv; slv.setOption("produce-models", "true"); // Produce Models slv.setOption("output-language", "cvc4"); // Set the output-language to CVC's - slv.setOption("default-dag-thresh", "0"); // Disable dagifying the output + 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")); |