From b1aa6b260bb622ffa84c1b75ccfc2eb4c8f82b14 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 11 May 2022 13:31:35 -0700 Subject: [PATCH] disable normalize Signed-off-by: Nikolaj Bjorner --- src/api/api_context.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/api/api_context.cpp b/src/api/api_context.cpp index 2c245534d..3eb375f12 100644 --- a/src/api/api_context.cpp +++ b/src/api/api_context.cpp @@ -101,7 +101,7 @@ namespace api { m_dt_plugin = static_cast(m().get_plugin(m_dt_fid)); install_tactics(*this); - std::cout << "alloc\n"; + // std::cout << "alloc\n"; } @@ -114,7 +114,8 @@ namespace api { } if (m_params.owns_manager()) m_manager.detach(); - std::cout << "dealloc " << memory::get_allocation_size() << "\n"; + // std::cout << "dealloc " << memory::get_allocation_size() << "\n"; + } context::set_interruptable::set_interruptable(context & ctx, event_handler & i):