Remove unused variable

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 534cc0daa8d444ee47c8f418a0ae33de82e123a5..ac9e31f70b58d2a879a8ee7e00ba5439b0bd4027 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -901,11 +901,6 @@ void AigerReader::post_process()
                                RTLIL::Cell* cell = module->cell(stringf("$__box%d__", variable));
                                if (cell) { // ABC could have optimised this box away
                                        module->rename(cell, escaped_s);
-                               #ifndef NDEBUG
-                                       RTLIL::Module* box_module = design->module(cell->type);
-                                       log_assert(box_module);
-                               #endif
-
                                        for (const auto &i : cell->connections()) {
                                                RTLIL::IdString port_name = i.first;
                                                RTLIL::SigSpec rhs = i.second;