From 046b80f6a43af5ceff96dfc7114088aa625319b2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 11 May 2023 12:30:57 -0700 Subject: [PATCH] remove output Signed-off-by: Nikolaj Bjorner --- src/smt/proto_model/proto_model.cpp | 1 - 1 file changed, 1 deletion(-) 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());