diff --git a/src/util/lp/lar_solver.cpp b/src/util/lp/lar_solver.cpp
index 0ddbad57d..15e2b7615 100644
--- a/src/util/lp/lar_solver.cpp
+++ b/src/util/lp/lar_solver.cpp
@@ -712,6 +712,7 @@ void lar_solver::substitute_terms_in_linear_expression(const vector<std::pair<mp
             register_monoid_in_map(coeffs, t.first, j);
         } else {
             const lar_term & term = * m_terms[adjust_term_index(t.second)];
+
             for (auto p : term){
                 register_monoid_in_map(coeffs, t.first * p.coeff() , p.var());
             }