diff options
Diffstat (limited to 'examples/api/linear_arith.cpp')
| -rw-r--r-- | examples/api/linear_arith.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/examples/api/linear_arith.cpp b/examples/api/linear_arith.cpp index 1c1c439df..87f9d8a5b 100644 --- a/examples/api/linear_arith.cpp +++ b/examples/api/linear_arith.cpp @@ -26,8 +26,7 @@ using namespace CVC4; int main() { ExprManager em; SmtEngine smt(&em); - smt.setOption("incremental", true); // Enable incremental solving - smt.setLogic("QF_LIRA"); // Set the logic + smt.setLogic("QF_LIRA"); // Set the logic // Prove that if given x (Integer) and y (Real) then // the maximum value of y - x is 2/3 |