From 2b14ec215b738b027c74d411f32fc549574d98b7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 30 Oct 2018 17:22:55 -0500
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/ast.cpp | 1 -
 1 file changed, 1 deletion(-)

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