mirror of
https://github.com/Z3Prover/z3
synced 2025-07-17 09:56:39 +00:00
add missing detach in coi_filter
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
6a820adfed
commit
661fe7eec9
1 changed files with 1 additions and 1 deletions
|
@ -42,7 +42,7 @@ namespace datalog {
|
||||||
scoped_ptr<rule_set> result1 = top_down(source);
|
scoped_ptr<rule_set> result1 = top_down(source);
|
||||||
scoped_ptr<rule_set> result2 = bottom_up(result1?*result1:source);
|
scoped_ptr<rule_set> result2 = bottom_up(result1?*result1:source);
|
||||||
if (!result2) {
|
if (!result2) {
|
||||||
result2 = result1;
|
result2 = result1.detach();
|
||||||
}
|
}
|
||||||
return result2.detach();
|
return result2.detach();
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue