diff --git a/src/ast/converters/generic_model_converter.cpp b/src/ast/converters/generic_model_converter.cpp
index d2ba27936..9adb9ee4b 100644
--- a/src/ast/converters/generic_model_converter.cpp
+++ b/src/ast/converters/generic_model_converter.cpp
@@ -30,7 +30,6 @@ Notes:
 
 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));
 }