From 2fdf2233f9b9cc76ed4701895d4f84d10aee6aed Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 11 Mar 2024 04:08:07 -0700 Subject: [PATCH] move side effect out of print statement --- src/sat/smt/polysat_egraph.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/sat/smt/polysat_egraph.cpp b/src/sat/smt/polysat_egraph.cpp index 817c3485b..9fe1eb410 100644 --- a/src/sat/smt/polysat_egraph.cpp +++ b/src/sat/smt/polysat_egraph.cpp @@ -151,9 +151,8 @@ namespace polysat { verbose_stream() << " := " << m_var2pdd[u]; verbose_stream() << " merge-level " << level; verbose_stream() << "\n"; - fixed.push_back(fixed_slice_extra(value, offset, length, level, dep)); #endif - + fixed.push_back(fixed_slice_extra(value, offset, length, level, dep)); for (euf::enode* sib : euf::enode_class(n)) { euf::theory_var s = sib->get_th_var(get_id()); if (s == euf::null_theory_var)