From 5a35d0076682cb0cf6b61d0c0dbecf034aa01539 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 28 Nov 2017 08:55:45 -0800
Subject: [PATCH] remove std::cout

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

diff --git a/src/ast/rewriter/rewriter_def.h b/src/ast/rewriter/rewriter_def.h
index 31f7d4849..2abd6d467 100644
--- a/src/ast/rewriter/rewriter_def.h
+++ b/src/ast/rewriter/rewriter_def.h
@@ -190,9 +190,6 @@ bool rewriter_tpl<Config>::constant_fold(app * t, frame & fr) {
         else if (m().is_false(cond)) {
             arg = t->get_arg(2);
         }
-        else {
-            std::cout << mk_ismt2_pp(cond, m()) << "\n";
-        }
         if (arg) {
             result_stack().shrink(fr.m_spos);
             result_stack().push_back(arg);