From 65d7d70507cc007a66d5e876a2246b4aa6d784c5 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Fri, 14 Nov 2025 15:31:45 +0100
Subject: [PATCH] driver: move IdString collection to yosys_shutdown

---
 kernel/driver.cc | 1 -
 kernel/yosys.cc  | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/driver.cc b/kernel/driver.cc
index d8b104117..726e25302 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -158,7 +158,6 @@ extern "C" {
 
 void yosys_atexit()
 {
-	RTLIL::OwningIdString::collect_garbage(false);
 #if defined(YOSYS_ENABLE_READLINE) || defined(YOSYS_ENABLE_EDITLINE)
 	if (!yosys_history_file.empty()) {
 #if defined(YOSYS_ENABLE_READLINE)
diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index bf59302f8..4e4abed20 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -260,6 +260,7 @@ void yosys_shutdown()
 
 	delete yosys_design;
 	yosys_design = NULL;
+	RTLIL::OwningIdString::collect_garbage();
 
 	for (auto f : log_files)
 		if (f != stderr)