From 3bf8b17b96bd16bf3539db905c3c98d4912c2004 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 11 Jan 2016 19:22:11 -0800 Subject: [PATCH] remove std::cout Signed-off-by: Nikolaj Bjorner --- src/smt/theory_array.cpp | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/smt/theory_array.cpp b/src/smt/theory_array.cpp index 1bc3ea8b8..c60efe1b1 100644 --- a/src/smt/theory_array.cpp +++ b/src/smt/theory_array.cpp @@ -114,13 +114,9 @@ namespace smt { for (; it != end; ++it) { enode * store = *it; SASSERT(is_store(store)); - std::cout << mk_pp(store->get_owner(), get_manager()) << " " << mk_pp(s->get_owner(), get_manager()) << "\n"; if (!m_params.m_array_cg || store->is_cgr()) { instantiate_axiom2b(s, store); } - else { - std::cout << mk_pp(store->get_owner(), get_manager()) << "\n"; - } } } }