From c4480337c4d4dc71f3c16207c60619dee3e72075 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 2 Aug 2019 18:09:34 +0800
Subject: [PATCH] fixing #2448 and #2445 and #2443

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_seq.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index bb3fbcc1a..d9d68e721 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -2519,7 +2519,6 @@ bool theory_seq::occurs(expr* a, expr* b) {
         b = m_todo.back();
         if (a == b || m.is_ite(b)) {
             m_todo.reset();
-            std::cout << " yes\n";
             return true;
         }
         m_todo.pop_back();