diff --git a/src/math/lp/lar_constraints.h b/src/math/lp/lar_constraints.h
index 45345ab3e..4a070f7ed 100644
--- a/src/math/lp/lar_constraints.h
+++ b/src/math/lp/lar_constraints.h
@@ -159,7 +159,6 @@ public:
     // and expose just active constraints
     // constraints need not be active.
     bool valid_index(constraint_index ci) const { return ci < m_constraints.size(); }
-//    unsigned size() const { return m_constraints.size(); }
     vector<lar_base_constraint*>::const_iterator begin() const { return m_constraints.begin(); }
     vector<lar_base_constraint*>::const_iterator end() const { return m_constraints.end(); }