From c54dcb61a057bfca05f1aea877f7ce998fbba520 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Wed, 24 Jul 2024 10:11:50 +1200
Subject: [PATCH] smtr: Fix widths

---
 backends/functional/smtlib_rosette.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/backends/functional/smtlib_rosette.cc b/backends/functional/smtlib_rosette.cc
index 5bfe70c98f2..deb19f00e1c 100644
--- a/backends/functional/smtlib_rosette.cc
+++ b/backends/functional/smtlib_rosette.cc
@@ -95,8 +95,8 @@ class SmtStruct {
 			w.open(list("lambda", field_list));
 			w.open(list("values"));
 			for (const auto &field : fields) {
-				auto s = field.sort.sort.width() - 1;
-				w << list("extract", s, 0, list("concat", list("bv", 0, s), field.name));
+				auto s = field.sort.sort.width();
+				w << list("extract", s-1, 0, list("concat", list("bv", 0, s), field.name));
 			}
 		}
 		w.pop();