mirror of
https://github.com/YosysHQ/yosys.git
synced 2026-08-29 01:24:25 +02:00
Merge remote-tracking branch 'origin/master' into xaig_arrival
This commit is contained in:
@@ -985,7 +985,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;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user