From 81ec5bae9500756bd7ea28a1da28afcdb0ca848f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 27 Nov 2017 11:02:48 -0800
Subject: [PATCH] fix #1377

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/seq_rewriter.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp
index 41b08a5d9..fa95278b4 100644
--- a/src/ast/rewriter/seq_rewriter.cpp
+++ b/src/ast/rewriter/seq_rewriter.cpp
@@ -1572,8 +1572,6 @@ bool seq_rewriter::reduce_eq(expr_ref_vector& ls, expr_ref_vector& rs, expr_ref_
     bool lchange = false;
     SASSERT(lhs.empty());
     TRACE("seq", tout << ls << "\n"; tout << rs << "\n";);
-	//std::cout << ls << "\n";
-	//std::cout << rs << "\n";
     // solve from back
     while (true) {
         while (!rs.empty() && m_util.str.is_empty(rs.back())) {