mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-22 05:36:41 +00:00
Code Activity

small bugfix in searchtree?

Browse source
This commit is contained in:
Ilana Shapiro 2025-11-16 14:30:50 -08:00
parent e05a3eaf5d
commit 210b8d2b31
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

@ -211,7 +211,7 @@ namespace search_tree {
if (lit != lit_l && !res.contains(lit)) if (lit != lit_l && !res.contains(lit))
res.push_back(lit); res.push_back(lit);
for (auto const &lit : core_r) for (auto const &lit : core_r)
if (lit != lit_l && !res.contains(lit)) if (lit != lit_r && !res.contains(lit))
res.push_back(lit); res.push_back(lit);
return res; return res;
} }