mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-21 06:40:31 +00:00
Code Activity

Refactor close_with_core to use current node in lambda

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-10-11 21:27:58 -07:00 • committed by GitHub
parent e95162b054
commit 287825366f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/search_tree.h
View file

@ -172,7 +172,7 @@ namespace search_tree {
if (!n || n->get_status() == status::closed)
return;
node<Config> *p = n->parent();
if (p && any_of(C, [](auto const& l) {
if (p && any_of(C, [n](auto const& l) {
return l == n->get_literal(); }
})) {
close_with_core(p, C);