From fe3f139eb28faf1af17b8ca9d2ecc3060dc8a15e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 16 Sep 2021 16:25:43 +0100
Subject: [PATCH] na

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

diff --git a/src/model/model_core.cpp b/src/model/model_core.cpp
index 822841e35a1..da0cfb883fb 100644
--- a/src/model/model_core.cpp
+++ b/src/model/model_core.cpp
@@ -82,7 +82,6 @@ void model_core::register_decl(func_decl * d, func_interp * fi) {
 
 func_interp* model_core::update_func_interp(func_decl* d, func_interp* fi) {
     TRACE("model", tout << "register " << d->get_name() << "\n";);
-    std::cout << d->get_name() << "\n";
 
     SASSERT(d->get_arity() > 0);
     SASSERT(&fi->m() == &m);