diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 92c743be0..870e1175a 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -450,7 +450,6 @@ void VerificImporter::import_attributes(dict &att auto type_range = nl->GetTypeRange(obj->Name()); if (!type_range) return; - /* SILIMATE: causes issues with OpenSTA attribute parsing if (type_range->IsTypeScalar()) { const long long bottom_bound = type_range->GetScalarRangeLeftBound(); const long long top_bound = type_range->GetScalarRangeRightBound(); @@ -464,7 +463,6 @@ void VerificImporter::import_attributes(dict &att attributes.emplace(ID(bottom_bound), bottom_const); attributes.emplace(ID(top_bound), top_const); } - */ if (!type_range->IsTypeEnum()) return; #ifdef VERIFIC_VHDL_SUPPORT