mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 02:15:19 +00:00
remove unused field
This commit is contained in:
parent
90fc8d854f
commit
122f5a1464
|
@ -4081,7 +4081,6 @@ bool seq_rewriter::reduce_subsequence(expr_ref_vector& ls, expr_ref_vector& rs,
|
|||
}
|
||||
|
||||
seq_rewriter::op_cache::op_cache(ast_manager& m):
|
||||
m(m),
|
||||
m_trail(m)
|
||||
{}
|
||||
|
||||
|
|
|
@ -137,7 +137,6 @@ class seq_rewriter {
|
|||
|
||||
typedef hashtable<op_entry, hash_entry, eq_entry> op_table;
|
||||
|
||||
ast_manager& m;
|
||||
unsigned m_max_cache_size { 10000 };
|
||||
expr_ref_vector m_trail;
|
||||
op_table m_table;
|
||||
|
|
|
@ -233,6 +233,10 @@ public:
|
|||
m_ptr(ptr) {
|
||||
}
|
||||
|
||||
scoped_ptr(scoped_ptr &&other) noexcept : m_ptr(nullptr) {
|
||||
std::swap(m_ptr, other.m_ptr);
|
||||
}
|
||||
|
||||
~scoped_ptr() {
|
||||
dealloc(m_ptr);
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue