From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 31 Mar 2015 23:26:06 +0000 (-0400)
Subject: fix echo command in --tear-down-incremental
X-Git-Tag: cvc5-1.0.0~6369
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c8b12c193b390c16f6747bb96cda5ee6da8cb293;p=cvc5.git

fix echo command in --tear-down-incremental
---

diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp
index c3372d2c8..9178e9289 100644
--- a/src/main/driver_unified.cpp
+++ b/src/main/driver_unified.cpp
@@ -450,7 +450,8 @@ int runCvc4(int argc, char* argv[], Options& opts) {
              dynamic_cast<GetInstantiationsCommand*>(cmd) == NULL &&
              dynamic_cast<GetAssertionsCommand*>(cmd) == NULL &&
              dynamic_cast<GetInfoCommand*>(cmd) == NULL &&
-             dynamic_cast<GetOptionCommand*>(cmd) == NULL) {
+             dynamic_cast<GetOptionCommand*>(cmd) == NULL &&
+             dynamic_cast<EchoCommand*>(cmd) == NULL) {
             Command* copy = cmd->clone();
             allCommands.back().push_back(copy);
           }