mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
update doctest
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
017680898a
commit
1ae0769af5
|
@ -169,7 +169,7 @@ bool family_manager::has_family(symbol const & s) const {
|
|||
return m_families.contains(s);
|
||||
}
|
||||
|
||||
#if 1
|
||||
#if 0
|
||||
static unsigned s_count = 0;
|
||||
void ast::inc_ref() {
|
||||
SASSERT(m_ref_count < UINT_MAX);
|
||||
|
|
|
@ -482,7 +482,7 @@ protected:
|
|||
void * m_mark2_owner;
|
||||
#endif
|
||||
|
||||
#if 0
|
||||
#if 1
|
||||
void inc_ref() {
|
||||
SASSERT(m_ref_count < UINT_MAX);
|
||||
m_ref_count ++;
|
||||
|
|
Loading…
Reference in a new issue