diff options
Diffstat (limited to 'kernel/yosys.cc')
-rw-r--r-- | kernel/yosys.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index cd6955c3f..6956cbdc3 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -579,6 +579,8 @@ void yosys_shutdown() already_shutdown = true; log_pop(); + Pass::done_register(); + delete yosys_design; yosys_design = NULL; @@ -588,7 +590,6 @@ void yosys_shutdown() log_errfile = NULL; log_files.clear(); - Pass::done_register(); yosys_celltypes.clear(); #ifdef YOSYS_ENABLE_TCL |