mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 04:57:52 +00:00
Code Activity

Replace values.back() with values.get(N) as requested

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2025-10-17 08:03:35 +00:00
parent e6b26d5df5
commit 30812ec54d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/model/finite_set_value_factory.cpp
View file

@ -63,7 +63,7 @@ expr * finite_set_value_factory::get_fresh_value(sort * s) {
N *= 2;
}
auto r = u.mk_union(values.get(values.size() - N), values.back());
auto r = u.mk_union(values.get(values.size() - N), values.get(N));
register_value(r);
return r;
}