From b1f7c6ac979f91afbb15ad951d2a2d2a4d34a0f2 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 4 Nov 2016 22:08:49 +0000 Subject: [PATCH] eliminated unnecessary variable --- src/tactic/portfolio/bounded_int2bv_solver.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/tactic/portfolio/bounded_int2bv_solver.cpp b/src/tactic/portfolio/bounded_int2bv_solver.cpp index b6c85c159..53c20b253 100644 --- a/src/tactic/portfolio/bounded_int2bv_solver.cpp +++ b/src/tactic/portfolio/bounded_int2bv_solver.cpp @@ -183,7 +183,6 @@ private: return; } filter_model_converter filter(m); - func_decl_ref_vector const& fns = m_bv_fns; for (unsigned i = 0; i < m_bv_fns.size(); ++i) { filter.insert(m_bv_fns[i]); }