mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 19:35:50 +00:00
Code Activity

cast variables to avoid compiler warning on signed/unsigned comparison

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>
This commit is contained in:
Nikolaj Bjorner 2015-05-19 08:15:59 -07:00
parent 227c8870d6
commit 92cfc242d2
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/smt/theory_wmaxsat.cpp
View file

@ -55,9 +55,8 @@ void theory_wmaxsat::get_assignment(svector<bool>& result) {
}
else {
std::sort(m_cost_save.begin(), m_cost_save.end());
unsigned j = 0;
for (theory_var i = 0; i < m_vars.size(); ++i) {
if (j < m_cost_save.size() && m_cost_save[j] == i) {
for (unsigned i = 0,j = 0; i < m_vars.size(); ++i) {
if (j < m_cost_save.size() && m_cost_save[j] == static_cast<theory_var>(i)) {
result.push_back(false);
++j;
}