Fix to interactive mode determination.

diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp
index 1922455d6763081d48495cb3deea5b890aa1033c..d1baaa2e95f4b334f2bd622568927ec2b383db18 100644 (file)
--- a/src/main/driver_unified.cpp
+++ b/src/main/driver_unified.cpp
@@ -237,7 +237,7 @@ 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] && inputFromStdin) {
 #ifndef PORTFOLIO_BUILD
       if(!opts.wasSetByUser(options::incrementalSolving)) {
         cmd = new SetOptionCommand("incremental", true);