mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
remove unused method
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
d22ad5e819
commit
1c9b2637ba
|
@ -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);
|
||||
|
|
Loading…
Reference in a new issue