diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
index 9a15bc7d3..cc9605fc9 100644
--- a/src/ast/ast.cpp
+++ b/src/ast/ast.cpp
@@ -1549,7 +1549,6 @@ void ast_manager::raise_exception(std::string const&  msg) {
 std::ostream& ast_manager::display(std::ostream& out, parameter const& p) {
     switch (p.get_kind()) {
     case parameter::PARAM_AST:
-        std::cout << "ast: " << p.get_ast() << "\n";
         return out << mk_pp(p.get_ast(), *this);
     default:
         return p.display(out);