From: Miodrag Milanovic <mmicko@gmail.com>
Date: Sun, 30 Aug 2020 11:15:06 +0000 (+0200)
Subject: Do not check for 1 and 0 only
X-Git-Tag: working-ls180~288^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2f93579bd1d4d81b0ee3d327e604c0c4773759a7;p=yosys.git

Do not check for 1 and 0 only
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 0bac2b57c..c974c3faa 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -203,12 +203,6 @@ void VerificImporter::import_attributes(dict<RTLIL::IdString, RTLIL::Const> &att
 				auto p = v;
 				if (p) {
 					if (*p != '"') {
-						auto *q = p;
-						for (; *q != '\0'; q++)
-							if (*q != '0' && *q != '1') {
-								p = nullptr;
-								break;
-							}
 						if (p != nullptr)
 							attributes.emplace(stringf("\\enum_value_%s", p), RTLIL::escape_id(k));
 					} else {