missing code signing

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jan 14, 2023 · f180513 · f180513
1 parent 60fef92
commit f180513
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/ast/converters/generic_model_converter.cpp b/src/ast/converters/generic_model_converter.cpp
@@ -30,7 +30,6 @@ Module Name:
 
 void generic_model_converter::add(func_decl * d, expr* e) {
     VERIFY(e);
-    verbose_stream() << d->get_name() << " " << mk_pp(e, m) << "\n";
     VERIFY(d->get_range() == e->get_sort());
     m_entries.push_back(entry(d, e, m, ADD));
 }