1 files changed, 7 insertions, 0 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 599c92d52..ce2487314 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -22,6 +22,7 @@
 #include <readline/readline.h>
 #include <readline/history.h>
 
+#include <dlfcn.h>
 #include <unistd.h>
 #include <limits.h>
 
@@ -98,6 +99,12 @@ void yosys_shutdown()
 		yosys_tcl_interp = NULL;
 	}
 #endif
+
+	for (auto &it : loaded_plugins)
+		dlclose(it.second);
+
+	loaded_plugins.clear();
+	loaded_plugin_aliases.clear();
 }
 
 RTLIL::IdString new_id(std::string file, int line, std::string func)