From 2d139c8735f6cc4ada34250885f1bb5110186adf Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Wed, 18 Sep 2024 14:46:13 -0700
Subject: [PATCH] Smallfix to remove top/bottom-bound attributes

---
 frontends/verific/verific.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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;