mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-02 12:21:21 +00:00
Code Activity

fix VS x64 warning

Browse source
This commit is contained in:
Nuno Lopes 2016-03-10 09:03:24 +00:00
parent 843e95cddc
commit 0b1b5a4328
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/muz/pdr/pdr_sym_mux.cpp
View file

@ -32,7 +32,7 @@ sym_mux::sym_mux(ast_manager & m)
: m(m), m_ref_holder(m), : m(m), m_ref_holder(m),
m_next_sym_suffix_idx(0) { m_next_sym_suffix_idx(0) {
m_suffixes.push_back("_n"); m_suffixes.push_back("_n");
unsigned suf_sz = m_suffixes.size(); size_t suf_sz = m_suffixes.size();
for(unsigned i = 0; i < suf_sz; ++i) { for(unsigned i = 0; i < suf_sz; ++i) {
symbol suff_sym = symbol(m_suffixes[i].c_str()); symbol suff_sym = symbol(m_suffixes[i].c_str());
m_used_suffixes.insert(suff_sym); m_used_suffixes.insert(suff_sym);