From 5b32c3778f4e5c84f1e282712a76ca0b6f2e2f12 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 31 Jul 2021 18:00:37 -0700 Subject: [PATCH] remove out Signed-off-by: Nikolaj Bjorner --- src/ast/fpa/fpa2bv_converter.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/ast/fpa/fpa2bv_converter.cpp b/src/ast/fpa/fpa2bv_converter.cpp index 243e3b378..a654e6070 100644 --- a/src/ast/fpa/fpa2bv_converter.cpp +++ b/src/ast/fpa/fpa2bv_converter.cpp @@ -3815,7 +3815,6 @@ void fpa2bv_converter::mk_rounding_mode(decl_kind k, expr_ref & result) } result = m_util.mk_bv2rm(result); - std::cout << "Rounding: " << result << "\n"; } void fpa2bv_converter::dbg_decouple(const char * prefix, expr_ref & e) {