From 5a0f5a778fd6cdc383dd3594034b456b5911fb99 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Tue, 2 Jan 2018 23:14:29 +0700
Subject: [PATCH] Remove unnecessary copy of coeff in iteration.

---
 src/smt/theory_lra.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;