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();