mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
thanks Nuno
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
e37954d87b
commit
4359d518a9
|
@ -1371,11 +1371,6 @@ void ast_manager::update_fresh_id(ast_manager const& m) {
|
|||
m_fresh_id = std::max(m_fresh_id, m.m_fresh_id);
|
||||
}
|
||||
|
||||
void ast_manager::inc_ref(ast * n) {
|
||||
if (n) {
|
||||
n->inc_ref();
|
||||
}
|
||||
}
|
||||
|
||||
void ast_manager::init() {
|
||||
m_int_real_coercions = true;
|
||||
|
|
|
@ -1622,7 +1622,11 @@ public:
|
|||
|
||||
void debug_ref_count() { m_debug_ref_count = true; }
|
||||
|
||||
void inc_ref(ast * n);
|
||||
void inc_ref(ast * n) {
|
||||
if (n) {
|
||||
n->inc_ref();
|
||||
}
|
||||
}
|
||||
|
||||
void dec_ref(ast* n) {
|
||||
if (n) {
|
||||
|
|
Loading…
Reference in a new issue