diff options
Diffstat (limited to 'examples/api/bitvectors.cpp')
| -rw-r--r-- | examples/api/bitvectors.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/examples/api/bitvectors.cpp b/examples/api/bitvectors.cpp index fa3099336..b69ee5d17 100644 --- a/examples/api/bitvectors.cpp +++ b/examples/api/bitvectors.cpp @@ -25,8 +25,7 @@ using namespace CVC4; int main() { ExprManager em; SmtEngine smt(&em); - smt.setOption("incremental", true); // Enable incremental solving - smt.setLogic("QF_BV"); // Set the logic + smt.setLogic("QF_BV"); // Set the logic // The following example has been adapted from the book A Hacker's Delight by // Henry S. Warren. |