From 7ce1c38544afea8e46b42ba8d7f4d46001489b8a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 18 Dec 2020 14:33:06 -0800
Subject: [PATCH] 'na

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

diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp
index 51738219f..2ec150cd3 100644
--- a/src/cmd_context/cmd_context.cpp
+++ b/src/cmd_context/cmd_context.cpp
@@ -311,7 +311,6 @@ void cmd_context::insert_macro(symbol const& s, unsigned arity, sort*const* doma
 }
 
 void cmd_context::erase_macro(symbol const& s) {
-    std::cout << "erase " << s << "\n";
     macro_decls decls;
     VERIFY(m_macros.find(s, decls));
     decls.erase_last(m());