diff --git a/src/util/lp/dense_matrix.h b/src/util/lp/dense_matrix.h
index 31b6617ac..e6663d705 100644
--- a/src/util/lp/dense_matrix.h
+++ b/src/util/lp/dense_matrix.h
@@ -82,10 +82,10 @@ public:
     void set_number_of_rows(unsigned /*m*/) override {}
     void set_number_of_columns(unsigned /*n*/) override {}
 
-    T get_elem(unsigned i, unsigned j) const { return m_values[i * m_n + j]; }
+    T get_elem(unsigned i, unsigned j) const override { return m_values[i * m_n + j]; }
 
-    unsigned row_count() const { return m_m; }
-    unsigned column_count() const { return m_n; }
+    unsigned row_count() const override { return m_m; }
+    unsigned column_count() const override { return m_n; }
 
     void set_elem(unsigned i, unsigned j, const T& val) {  m_values[i * m_n + j] = val;  }
 
diff --git a/src/util/lp/eta_matrix.h b/src/util/lp/eta_matrix.h
index eee4a2674..89d2e641d 100644
--- a/src/util/lp/eta_matrix.h
+++ b/src/util/lp/eta_matrix.h
@@ -83,7 +83,7 @@ public:
     void apply_from_right(vector<T> & w) override;
     void apply_from_right(indexed_vector<T> & w) override;
 
-    T get_elem(unsigned i, unsigned j) const;
+    T get_elem(unsigned i, unsigned j) const override;
 #ifdef Z3DEBUG
     unsigned row_count() const override { return m_length; }
     unsigned column_count() const override { return m_length; }
diff --git a/src/util/lp/lu.h b/src/util/lp/lu.h
index 2f9a5ec38..f2cae7961 100644
--- a/src/util/lp/lu.h
+++ b/src/util/lp/lu.h
@@ -78,10 +78,10 @@ public:
     void set_number_of_columns(unsigned n) override { m_m = n; m_n = n; }
     T m_one_over_val;
 
-    T get_elem (unsigned i, unsigned j) const;
+    T get_elem (unsigned i, unsigned j) const override;
 
-    unsigned row_count() const { return m_m; } // not defined }
-    unsigned column_count() const { return m_m; } // not defined  }
+    unsigned row_count() const override { return m_m; } // not defined }
+    unsigned column_count() const override { return m_m; } // not defined  }
 #endif
     void apply_from_left(vector<X> & w, lp_settings &) override {
         w[m_i] /= m_val;