mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-11 03:33:35 +00:00
Code Activity

spacer: trying to make C++ happy

Browse source
This commit is contained in:
Arie Gurfinkel 2022-09-01 15:44:22 -07:00
parent f2afb369bd
commit eb2b95e5fe
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/muz/spacer/spacer_expand_bnd_generalizer.cpp
View file

@ -102,7 +102,7 @@ lemma_expand_bnd_generalizer::lemma_expand_bnd_generalizer(context &ctx)
// remove duplicates
std::sort(m_values.begin(), m_values.end());
auto last = std::unique(m_values.begin(), m_values.end());
for (unsigned i = 0, sz = std::distance(last, m_values.end()); i < sz; ++i)
for (size_t i = 0, sz = std::distance(last, m_values.end()); i < sz; ++i)
m_values.pop_back();
}