Restored IdString::check()

diff --git a/kernel/rtlil.h b/kernel/rtlil.h
index f7bac14711ef59c361d9f69095f1606f701068c5..e0b3a693d6172248c6230545467379679addf929 100644 (file)
--- 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