mirror of https://github.com/YosysHQ/yosys.git
parse_xaiger() to do "clean -purge"
This commit is contained in:
parent
18cabe9370
commit
5d16bf8316
|
@ -974,7 +974,7 @@ void AigerReader::post_process()
|
|||
// operate (and run checks on) this one module
|
||||
RTLIL::Design *mapped_design = new RTLIL::Design;
|
||||
mapped_design->add(module);
|
||||
Pass::call(mapped_design, "clean");
|
||||
Pass::call(mapped_design, "clean -purge");
|
||||
mapped_design->modules_.erase(module->name);
|
||||
delete mapped_design;
|
||||
|
||||
|
|
Loading…
Reference in New Issue