From 182979771f742d64c888d866034b08ec3a61b703 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 21 Mar 2024 10:35:13 -0700 Subject: [PATCH] disable verbose Signed-off-by: Nikolaj Bjorner --- src/sat/smt/polysat_egraph.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/smt/polysat_egraph.cpp b/src/sat/smt/polysat_egraph.cpp index 984045f9c..1d7eb754f 100644 --- a/src/sat/smt/polysat_egraph.cpp +++ b/src/sat/smt/polysat_egraph.cpp @@ -127,7 +127,7 @@ namespace polysat { // as well as pvars that correspond to these sub-slices. // does not retrieve a slice corresponding to 'pv' itself. void solver::get_fixed_sub_slices(pvar const pv, fixed_bits_vector& fixed) { - #define GET_FIXED_SUB_SLICES_DISPLAY 1 + #define GET_FIXED_SUB_SLICES_DISPLAY 0 auto consume_slice = [&](euf::enode* n, unsigned offset) -> bool { euf::enode* r = n->get_root(); if (!r->interpreted())