From bcf896bd0359e75bd46ac5fbb090f7bd708c10da Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 30 Oct 2018 18:25:03 -0500 Subject: [PATCH] display' Signed-off-by: Nikolaj Bjorner --- src/ast/ast.cpp | 10 ---------- 1 file changed, 10 deletions(-) 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()) {