diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc index d2f37cec..7d630b35 100644 --- a/kernel/rtlil.cc +++ b/kernel/rtlil.cc @@ -1291,8 +1291,10 @@ RTLIL::Memory::Memory() void RTLIL::Cell::check() { +#ifndef NDEBUG InternalCellChecker checker(NULL, this); checker.check(); +#endif } RTLIL::SigChunk::SigChunk()