From a9912269ab2b47b783a66f381b14148c0ac73e93 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 26 Mar 2013 17:58:33 -0400
Subject: [PATCH] Make --incremental the default when running interactively

---
 src/main/driver_unified.cpp | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp
index 9fa40d3ab..bdce5639b 100644
--- a/src/main/driver_unified.cpp
+++ b/src/main/driver_unified.cpp
@@ -235,7 +235,14 @@ int runCvc4(int argc, char* argv[], Options& opts) {
     // Parse and execute commands until we are done
     Command* cmd;
     bool status = true;
-    if( opts[options::interactive] ) {
+    if(opts[options::interactive]) {
+#ifndef PORTFOLIO_BUILD
+      if(!opts.wasSetByUser(options::incrementalSolving)) {
+        cmd = new SetOptionCommand("incremental", true);
+        pExecutor->doCommand(cmd);
+        delete cmd;
+      }
+#endif /* PORTFOLIO_BUILD */
       InteractiveShell shell(*exprMgr, opts);
       Message() << Configuration::getPackageName()
                 << " " << Configuration::getVersionString();
-- 
2.30.2