From 0e4c033e30a9358c049bb6a37372536c5741f014 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 3 May 2025 11:06:25 -0700
Subject: [PATCH] fix #7639

---
 src/sat/sat_aig_cuts.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/sat_aig_cuts.cpp b/src/sat/sat_aig_cuts.cpp
index df736e4ba..9ec4ab199 100644
--- a/src/sat/sat_aig_cuts.cpp
+++ b/src/sat/sat_aig_cuts.cpp
@@ -788,7 +788,7 @@ namespace sat {
                 }
             }
         }
-        IF_VERBOSE(0, verbose_stream() << "#don't cares " << dont_cares << "\n");
+        IF_VERBOSE(2, verbose_stream() << "#don't cares " << dont_cares << "\n");
     }
 
     struct aig_cuts::validator {