From 499843ae7fbac1ba6bf35bde4387c40252866eb4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 26 Mar 2020 14:49:14 -0700 Subject: [PATCH] remove verbose 0 output, #3527 Signed-off-by: Nikolaj Bjorner --- src/sat/sat_local_search.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/sat_local_search.cpp b/src/sat/sat_local_search.cpp index 64aeaaa33..6f5b91fa7 100644 --- a/src/sat/sat_local_search.cpp +++ b/src/sat/sat_local_search.cpp @@ -223,7 +223,7 @@ namespace sat { } void local_search::verify_solution() const { - IF_VERBOSE(0, verbose_stream() << "verifying solution\n"); + IF_VERBOSE(10, verbose_stream() << "verifying solution\n"); for (constraint const& c : m_constraints) verify_constraint(c); }