diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index 292d2ab0d..21b66d3a0 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -1916,7 +1916,7 @@ namespace smt {
             lp::var_index vi = m_theory_var2var_index[v];
             SASSERT(m_solver->is_term(vi));
             lp::lar_term const& term = m_solver->get_term(vi);
-            for (auto const coeff : term.m_coeffs) {
+            for (auto const& coeff : term.m_coeffs) {
                 lp::var_index wi = coeff.first;
                 lp::constraint_index ci;
                 rational value;