From 995d66c6f2b8f10943e9406eb6035218ce5f7166 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 22 Dec 2015 10:46:33 -0800 Subject: [PATCH] remove print statements Signed-off-by: Nikolaj Bjorner --- src/api/api_ast_vector.cpp | 1 - src/util/mpf.cpp | 3 --- 2 files changed, 4 deletions(-) diff --git a/src/api/api_ast_vector.cpp b/src/api/api_ast_vector.cpp index d6ff1bbb3..e1d4d78ff 100644 --- a/src/api/api_ast_vector.cpp +++ b/src/api/api_ast_vector.cpp @@ -26,7 +26,6 @@ Revision History: extern "C" { Z3_ast_vector Z3_API Z3_mk_ast_vector(Z3_context c) { - std::cout << "ast-vector\n"; Z3_TRY; LOG_Z3_mk_ast_vector(c); RESET_ERROR_CODE(); diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp index a22275043..6cf8e3a4d 100644 --- a/src/util/mpf.cpp +++ b/src/util/mpf.cpp @@ -252,13 +252,10 @@ void mpf_manager::set(mpf & o, unsigned ebits, unsigned sbits, mpf_rounding_mode m_mpq_manager.mul(pow, 2, pow); m_mpz_manager.inc(exp); ++loop; - if (loop % 1000 == 0) std::cout << loop << "\n"; } - std::cout << loop << "\n"; if (loop > 0) { m_mpq_manager.div(sig, pow, sig); } - std::cout << loop << "\n"; while (m_mpq_manager.lt(sig, 1)) { m_mpq_manager.mul(sig, 2, sig);