mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
own refs
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
55cd1e996c
commit
865dfe0590
|
@ -459,8 +459,8 @@ namespace smt {
|
|||
conds.pop_back();
|
||||
}
|
||||
else {
|
||||
cond = mk_and(conds);
|
||||
result.push_back(cond, r);
|
||||
expr_ref conj = mk_and(conds);
|
||||
result.push_back(conj, r);
|
||||
}
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue