diff options
Diffstat (limited to 'amaranth')
| -rw-r--r-- | amaranth/__init__.py | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/amaranth/__init__.py b/amaranth/__init__.py index 3a4dd49f..98fd8b1c 100644 --- a/amaranth/__init__.py +++ b/amaranth/__init__.py @@ -103,17 +103,9 @@ def _call_globals(attr_name): getattr(m, attr_name)() -def _flush_modules(pkg_name): - pkg_name = pkg_name.lower() - for k in tuple(sys.modules.keys()): - if k.lower().startswith(pkg_name): - del sys.modules[k] - - def register(): _call_globals("register") def unregister(): _call_globals("unregister") - _flush_modules("amaranth") # reload amaranth |