From f1805138e7611f16d135a301c412e003d2c26eb4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 13 Jan 2023 16:13:20 -0800 Subject: [PATCH] missing code signing Signed-off-by: Nikolaj Bjorner --- src/ast/converters/generic_model_converter.cpp | 1 - 1 file changed, 1 deletion(-) 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)); }