From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 24 Jan 2014 14:46:41 +0000 (+0100)
Subject: Restored IdString::check()
X-Git-Tag: yosys-0.2.0~146^2~6
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ec167350b43ce29d562787cdabe3b7df2d3ca350;p=yosys.git

Restored IdString::check()
---

diff --git a/kernel/rtlil.h b/kernel/rtlil.h
index f7bac1471..e0b3a693d 100644
--- a/kernel/rtlil.h
+++ b/kernel/rtlil.h
@@ -101,7 +101,7 @@ namespace RTLIL
 			return std::string(*this) < std::string(rhs);
 		}
 		void check() const {
-			//assert(empty() || (size() >= 2 && (at(0) == '$' || at(0) == '\\')));
+			assert(empty() || (size() >= 2 && (at(0) == '$' || at(0) == '\\')));
 		}
 	};
 #endif