3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-23 06:01:27 +00:00

driver: garbage collect IdStrings without tracing at exit

This commit is contained in:
Emil J. Tywoniak 2025-11-13 11:10:13 +01:00
parent bc3fc21248
commit 1dd5b150e5

View file

@ -158,6 +158,7 @@ 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)