mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
fix pointer deref
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
810d63c246
commit
a4dfde4671
|
@ -216,7 +216,7 @@ class mpz_manager {
|
|||
}
|
||||
}
|
||||
|
||||
void clear(mpz& n) { if (n.m_ptr) mpz_clear(n.m_ptr); }
|
||||
void clear(mpz& n) { if (n.m_ptr) mpz_clear(*n.m_ptr); }
|
||||
#endif
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue