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);
     }