From 1c9b2637babe575ff86a1f3cb26e2c5d1d2e17f2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 7 Feb 2020 20:01:36 -0800
Subject: [PATCH] remove unused method

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

diff --git a/src/math/lp/stacked_vector.h b/src/math/lp/stacked_vector.h
index c38433016..61131955a 100644
--- a/src/math/lp/stacked_vector.h
+++ b/src/math/lp/stacked_vector.h
@@ -135,12 +135,6 @@ public:
     void resize(vector<T> & v, unsigned new_size) {
         v.resize(new_size);
     }
-
-    void pop_back() {
-        unsigned last = m_vector.size() - 1;
-        m_changes.push_back(std::make_pair(last, m_vector[last]));
-        m_vector.pop_back();
-    }
     
     void pop(unsigned k) {
         lp_assert(m_stack_of_vector_sizes.size() >= k);