From 4f2272dbb25c76547949f23bd674a21a4013a885 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 25 Jan 2025 23:43:53 -0800 Subject: [PATCH] increase log level for 'set value failed' Signed-off-by: Nikolaj Bjorner --- src/ast/sls/sls_arith_base.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp index 686e5130b4..2fc595c5a4 100644 --- a/src/ast/sls/sls_arith_base.cpp +++ b/src/ast/sls/sls_arith_base.cpp @@ -2245,7 +2245,7 @@ namespace sls { bool r = update(w, n); if (!r) { - IF_VERBOSE(2, + IF_VERBOSE(3, verbose_stream() << "set value failed " << mk_pp(e, m) << " := " << mk_pp(v, m) << "\n"; display(verbose_stream(), w) << " := " << value(w) << "\n"); }