mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-25 07:13:41 +00:00
Code Activity

remove debug output

Browse source
This commit is contained in:
Lev Nachmanson 2025-06-16 20:02:12 -07:00
parent d3e05b271c
commit 411fef05d4
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/nlsat/nlsat_solver.cpp
View file

@ -4218,7 +4218,6 @@ namespace nlsat {
for (bool_var b = 0; b < vs.size(); ++b) {
if (vs[b] != l_undef) {
TRACE(nlsat_assign, tout << "setting bool values " << b << "\n";);
std::cout << "set bvalues " << b << " to " << vs[b] << "\n";
m_imp->m_bvalues[b] = vs[b];
SASSERT(!m_imp->m_atoms[b]);
}