diff --git a/src/util/lp/row_eta_matrix.h b/src/util/lp/row_eta_matrix.h
index f6fb4537d..2bc0ac24e 100644
--- a/src/util/lp/row_eta_matrix.h
+++ b/src/util/lp/row_eta_matrix.h
@@ -79,11 +79,11 @@ public:
 
     void conjugate_by_permutation(permutation_matrix<T, X> & p);
 #ifdef Z3DEBUG
-    T get_elem(unsigned row, unsigned col) const;
-    unsigned row_count() const { return m_dimension; }
-    unsigned column_count() const { return m_dimension; }
-    void set_number_of_rows(unsigned m) { m_dimension = m; }
-    void set_number_of_columns(unsigned n) { m_dimension = n; }
+    T get_elem(unsigned row, unsigned col) const override;
+    unsigned row_count() const override { return m_dimension; }
+    unsigned column_count() const override { return m_dimension; }
+    void set_number_of_rows(unsigned m) override { m_dimension = m; }
+    void set_number_of_columns(unsigned n) override { m_dimension = n; }
 #endif
 }; // end of row_eta_matrix
 }
diff --git a/src/util/lp/square_dense_submatrix.h b/src/util/lp/square_dense_submatrix.h
index a2cade85a..d43b2eadd 100644
--- a/src/util/lp/square_dense_submatrix.h
+++ b/src/util/lp/square_dense_submatrix.h
@@ -214,11 +214,11 @@ public:
     void apply_from_right(vector<T> & w) override;
 
 #ifdef Z3DEBUG
-    T get_elem (unsigned i, unsigned j) const;
-    unsigned row_count() const { return m_parent->row_count();}
-    unsigned column_count() const { return row_count();}
-    void set_number_of_rows(unsigned) {}
-    void set_number_of_columns(unsigned) {};
+    T get_elem (unsigned i, unsigned j) const override;
+    unsigned row_count() const override { return m_parent->row_count();}
+    unsigned column_count() const override { return row_count();}
+    void set_number_of_rows(unsigned) override {}
+    void set_number_of_columns(unsigned) override {}
 #endif
     void conjugate_by_permutation(permutation_matrix<T, X> & q);
 };