mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
null -> nullptr
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
ace4dbe32b
commit
3a4200ae5f
|
@ -321,7 +321,7 @@ class mpz_manager {
|
|||
};
|
||||
|
||||
void mk_big(mpz & a) {
|
||||
if (a.m_ptr == null) {
|
||||
if (a.m_ptr == nullptr) {
|
||||
a.m_val = 0;
|
||||
a.m_ptr = allocate();
|
||||
a.m_owner = mpz_self;
|
||||
|
|
Loading…
Reference in a new issue