53a54,55
> Module::~Module() { allModules.erase(this); }
>
60a63,66
> // This is called from the constructor of this_obj, so it can't use
> // dynamic cast.
> sc_mod(static_cast<::sc_core::sc_module *>(this_obj->sc_obj()));
> allModules.insert(this);
86a93,94
> std::set<Module *> allModules;
>