Amaranth: Removed flush_modules function not needed anymore

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