diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc index 109113370..335c48456 100644 --- a/kernel/rtlil.cc +++ b/kernel/rtlil.cc @@ -319,7 +319,7 @@ void RTLIL::AttrObject::set_strpool_attribute(RTLIL::IdString id, const pool &data) @@ -334,7 +334,7 @@ pool RTLIL::AttrObject::get_strpool_attribute(RTLIL::IdString id) const { pool data; if (attributes.count(id) != 0) - for (auto s : split_tokens(attributes.at(id).decode_string(), "|")) + for (auto s : split_tokens(get_string_attribute(id), "|")) data.insert(s); return data; }