From acad9fa62c0cab9089ee385098e50545d544b2bb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 23 Sep 2023 16:25:46 -0700
Subject: [PATCH] Update smt_context.cpp

---
 src/smt/smt_context.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index a3cd99e37..64c7bbf2e 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -4522,8 +4522,6 @@ namespace smt {
             theory_var_list * l = n->get_th_var_list();
             theory_id th_id     = l->get_id();
 
-            verbose_stream() << "num parents " << n->get_num_parents() << "\n";
-
             for (enode * parent : enode::parents(n)) {
                 app* p = parent->get_expr();
                 family_id fid = p->get_family_id();