fix #7639

NikolajBjorner · NikolajBjorner · commit 0e4c033e30a9 · 2025-05-03T11:06:25.000-07:00
diff --git 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 {

Original file line number	Diff line number	Diff line change
`@@ -788,7 +788,7 @@ namespace sat {`
`788`	`788`	`}`
`789`	`789`	`}`
`790`	`790`	`}`
`791`		`- IF_VERBOSE(0, verbose_stream() << "#don't cares " << dont_cares << "\n");`
	`791`	`+ IF_VERBOSE(2, verbose_stream() << "#don't cares " << dont_cares << "\n");`
`792`	`792`	`}`
`793`	`793`
`794`	`794`	`struct aig_cuts::validator {`