fix echo command in --tear-down-incremental

diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp
index c3372d2c809d6f5042241a93e1e8ca60cb3b27ea..9178e928962345d17fe14bba5979280cfa936ee0 100644 (file)
--- 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);
           }