From 86b54ede8a2898a6c51fddd4bb32f8b4b87b5da6 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 27 Nov 2013 11:12:11 -0500
Subject: Incremental is now on by default when using from API, off for
 command-line driver except in interactive mode.

---
 examples/api/java/CVC4Streams.java | 1 -
 1 file changed, 1 deletion(-)

(limited to 'examples/api/java/CVC4Streams.java')

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();
-- 
cgit v1.2.3