mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 17:15:31 +00:00
Code Activity

move side effect out of print statement

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-03-11 04:08:07 -07:00
parent e8ac3aa88c
commit 2fdf2233f9
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/sat/smt/polysat_egraph.cpp
View file

@ -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)