diff --git a/src/smt/proto_model/proto_model.cpp b/src/smt/proto_model/proto_model.cpp
index 4470f9cb8c0..f79f7851f5c 100644
--- a/src/smt/proto_model/proto_model.cpp
+++ b/src/smt/proto_model/proto_model.cpp
@@ -345,7 +345,6 @@ void proto_model::compress() {
 void proto_model::complete_partial_func(func_decl * f, bool use_fresh) {
     func_interp * fi = get_func_interp(f);
     if (fi && fi->is_partial()) {
-        verbose_stream() << "complete " << f->get_name() << " " << use_fresh << "\n";
         expr * else_value;
         if (use_fresh) {
             else_value = get_fresh_value(f->get_range());