diff options
| -rw-r--r-- | kernel/rtlil.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc index d2f37cec4..7d630b352 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() |