From 127af83c53251095d4c3f2fa40afe7d58b5a105a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 15 May 2022 13:04:47 -0700
Subject: [PATCH] remove ad-hoc diagnostics

---
 src/api/api_context.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/api/api_context.cpp b/src/api/api_context.cpp
index 9f7376c68..3ba279dca 100644
--- a/src/api/api_context.cpp
+++ b/src/api/api_context.cpp
@@ -101,7 +101,6 @@ namespace api {
         m_dt_plugin = static_cast<datatype_decl_plugin*>(m().get_plugin(m_dt_fid));
     
         install_tactics(*this);
-        // std::cout << "alloc\n";
     }
 
 
@@ -114,7 +113,6 @@ namespace api {
         }
         if (m_params.owns_manager())
             m_manager.detach();
-        // std::cout << "dealloc " << memory::get_allocation_size() << "\n";
 
     }