smtr: Use scope.unique_name

YosysHQ · Sep 3, 2024 · 4fd17d1 · 4fd17d1
1 parent 3a6139b
commit 4fd17d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/backends/functional/smtlib_rosette.cc b/backends/functional/smtlib_rosette.cc
@@ -81,7 +81,7 @@ class SmtrStruct {
 	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});