diff options
Diffstat (limited to 'kernel/rtlil.cc')
| -rw-r--r-- | kernel/rtlil.cc | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc index bcda931d2..93b138071 100644 --- a/kernel/rtlil.cc +++ b/kernel/rtlil.cc @@ -3925,14 +3925,12 @@ RTLIL::Process *RTLIL::Process::clone() const return new_proc; } + +#ifdef WITH_PYTHON RTLIL::Memory::~Memory() { -#ifdef WITH_PYTHON RTLIL::Memory::get_all_memorys()->erase(hashidx_); -#endif } - -#ifdef WITH_PYTHON static std::map<unsigned int, RTLIL::Memory*> *all_memorys = new std::map<unsigned int, RTLIL::Memory*>(); std::map<unsigned int, RTLIL::Memory*> *RTLIL::Memory::get_all_memorys(void) { |