mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
free memory the clean way
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
17545233e6
commit
d32dcfc4a4
|
@ -816,7 +816,7 @@ namespace algebraic_numbers {
|
|||
// actual root was found
|
||||
scoped_mpq r(qm());
|
||||
to_mpq(qm(), lower(c), r);
|
||||
del(c);
|
||||
del(a);
|
||||
a = mk_basic_cell(r);
|
||||
return false;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue