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]);
         }