diff options
Diffstat (limited to 'examples/api/java/BitVectors.java')
| -rw-r--r-- | examples/api/java/BitVectors.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/examples/api/java/BitVectors.java b/examples/api/java/BitVectors.java index eb3e1642e..f6e719735 100644 --- a/examples/api/java/BitVectors.java +++ b/examples/api/java/BitVectors.java @@ -23,8 +23,7 @@ public class BitVectors { ExprManager em = new ExprManager(); SmtEngine smt = new SmtEngine(em); - smt.setOption("incremental", new SExpr(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. |