diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
index d72bcbe82..9a5e1de9c 100644
--- a/src/ast/ast.cpp
+++ b/src/ast/ast.cpp
@@ -1546,16 +1546,6 @@ void ast_manager::raise_exception(std::string const&  msg) {
     throw ast_exception(msg.c_str());
 }
 
-std::ostream& ast_manager::display(std::ostream& out, parameter const& p) {
-    switch (p.get_kind()) {
-    case parameter::PARAM_AST:
-        return out << mk_pp(p.get_ast(), *this);
-    default:
-        return p.display(out);
-    }
-    return out;
-}
-
 
 std::ostream& ast_manager::display(std::ostream& out, parameter const& p) {
     switch (p.get_kind()) {