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

eliminated unnecessary variable

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-11-04 22:08:49 +00:00
parent 696bbc7708
commit b1f7c6ac97
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tactic/portfolio/bounded_int2bv_solver.cpp
View file

@ -183,7 +183,6 @@ private:
return; return;
} }
filter_model_converter filter(m); filter_model_converter filter(m);
func_decl_ref_vector const& fns = m_bv_fns;
for (unsigned i = 0; i < m_bv_fns.size(); ++i) { for (unsigned i = 0; i < m_bv_fns.size(); ++i) {
filter.insert(m_bv_fns[i]); filter.insert(m_bv_fns[i]);
} }