mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-04-29 07:13:37 +00:00
Code Activity

Fix formatting issues in search_tree.h

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

3
src/util/search_tree.h
View file

@ -173,8 +173,7 @@ namespace search_tree {
return; return;
node<Config> *p = n->parent(); node<Config> *p = n->parent();
if (p && any_of(C, [n](auto const& l) { if (p && any_of(C, [n](auto const& l) {
return l == n->get_literal(); } return l == n->get_literal(); })) {
})) {
close_with_core(p, C); close_with_core(p, C);
return; return;
} }