From eb2b95e5fe0ab226fa50dd91ffd5fa90f2e5a8bc Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Thu, 1 Sep 2022 15:44:22 -0700 Subject: [PATCH] spacer: trying to make C++ happy --- src/muz/spacer/spacer_expand_bnd_generalizer.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/spacer/spacer_expand_bnd_generalizer.cpp b/src/muz/spacer/spacer_expand_bnd_generalizer.cpp index a3e88f8d5..4f80be706 100644 --- a/src/muz/spacer/spacer_expand_bnd_generalizer.cpp +++ b/src/muz/spacer/spacer_expand_bnd_generalizer.cpp @@ -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(); }