diff options
Diffstat (limited to 'examples/api/java/CVC4Streams.java')
| -rw-r--r-- | examples/api/java/CVC4Streams.java | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/examples/api/java/CVC4Streams.java b/examples/api/java/CVC4Streams.java index 0b0984bf3..b619b053e 100644 --- a/examples/api/java/CVC4Streams.java +++ b/examples/api/java/CVC4Streams.java @@ -22,7 +22,6 @@ public class CVC4Streams { System.loadLibrary("cvc4jni"); ExprManager exprMgr = new ExprManager(); SmtEngine smt = new SmtEngine(exprMgr); - smt.setOption("incremental", new SExpr(true)); smt.setOption("output-language", new SExpr("smt2")); PipedOutputStream solverPipe = new PipedOutputStream(); |