mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 00:26:38 +00:00
Code Activity

avoid unused variable warning

Browse source
This commit is contained in:
Jakob Rath 2023-01-25 12:32:04 +01:00
parent f91bb12f0e
commit 223f9fffed
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/math/polysat/solver.cpp
View file

@ -1475,9 +1475,9 @@ namespace polysat {
LOG(" " << lit_pp(*this, lit));
}
}
SASSERT(undefs != 1);
VERIFY(undefs != 1);
bool const is_false = all_of(cl, [&](auto lit) { return m_bvars.is_false(lit); });
SASSERT(!is_false);
VERIFY(!is_false);
}
return true;
}