From c8b12c193b390c16f6747bb96cda5ee6da8cb293 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 31 Mar 2015 19:26:06 -0400
Subject: [PATCH] fix echo command in --tear-down-incremental

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

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);
           }
-- 
2.30.2