From a2abbcb33f3ae1c2287b4b2a3b9e419494ab8aa0 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Tue, 3 Sep 2024 22:05:17 +1200
Subject: [PATCH] smtr: Use scope.unique_name

---
 backends/functional/smtlib_rosette.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/functional/smtlib_rosette.cc b/backends/functional/smtlib_rosette.cc
index 4e6057694..ff47f5706 100644
--- a/backends/functional/smtlib_rosette.cc
+++ b/backends/functional/smtlib_rosette.cc
@@ -81,7 +81,7 @@ public:
 	SmtrStruct(std::string name, SmtrScope &scope) : scope(scope), name(name) {}
 	void insert(IdString field_name, SmtrSort sort) {
 		field_names(field_name);
-		auto base_name = RTLIL::unescape_id(field_name);
+		auto base_name = scope.unique_name("\\" + RTLIL::unescape_id(field_name));
 		auto accessor = name + "-" + base_name;
 		scope.reserve(accessor);
 		fields.emplace_back(Field{sort, accessor, base_name});