From 30812ec54da4cd18464135455341aafbc9633289 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 17 Oct 2025 08:03:35 +0000
Subject: [PATCH] Replace values.back() with values.get(N) as requested

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/model/finite_set_value_factory.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/model/finite_set_value_factory.cpp b/src/model/finite_set_value_factory.cpp
index 04f574c50..9fee35d9e 100644
--- a/src/model/finite_set_value_factory.cpp
+++ b/src/model/finite_set_value_factory.cpp
@@ -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;
 }
\ No newline at end of file