diff --git a/src/math/lp/lar_term.h b/src/math/lp/lar_term.h
index 5ce1ff2fc..a96d3ad5a 100644
--- a/src/math/lp/lar_term.h
+++ b/src/math/lp/lar_term.h
@@ -138,6 +138,12 @@ public:
         }
         return ret;
     }
+
+    lar_term& operator*=(mpq const& k) {
+        for (auto & t : m_coeffs)
+            t.m_value *= k;
+        return *this;
+    }
    
     void clear() {
         m_coeffs.reset();