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) {