diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 2d72f37ea..fbaff0998 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -459,8 +459,8 @@ void VerificImporter::import_attributes(dict<RTLIL::IdString, RTLIL::Const> &att
 				bottom_const.flags |= RTLIL::CONST_FLAG_SIGNED;
 				top_const.flags |= RTLIL::CONST_FLAG_SIGNED;
 			}
-			attributes.emplace(ID(bottom_bound), bottom_const);
-			attributes.emplace(ID(top_bound), top_const);
+			// attributes.emplace(ID(bottom_bound), bottom_const);
+			// attributes.emplace(ID(top_bound), top_const);
 		}
 		if (!type_range->IsTypeEnum())
 			return;