Update smt_context.cpp

Z3Prover · Sep 23, 2023 · acad9fa · acad9fa
1 parent 421fe94
commit acad9fa
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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();