From bd444f8ec771be3a6ffa4e57d02ca92677d2211a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 7 Feb 2020 09:25:06 -0800
Subject: [PATCH] isolate constraints in a constraint_set

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/lar_constraints.h | 1 -
 1 file changed, 1 deletion(-)

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(); }