aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger/aigerparse.h
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-08-07 12:25:26 -0700
committerGitHub <noreply@github.com>2019-08-07 12:25:26 -0700
commit3414ee1e3fe37d4bf383621542828d4fc8fc987f (patch)
tree470091b56756df8073dadba84344aab0213de53c /frontends/aiger/aigerparse.h
parent5545cd3c108ef240ccf6278b2734412acf81cd2a (diff)
parent58e512ab7082ad5b4884dc0edc197b56c642bc94 (diff)
downloadyosys-3414ee1e3fe37d4bf383621542828d4fc8fc987f.tar.gz
yosys-3414ee1e3fe37d4bf383621542828d4fc8fc987f.tar.bz2
yosys-3414ee1e3fe37d4bf383621542828d4fc8fc987f.zip
Merge pull request #1248 from YosysHQ/eddie/abc9_speedup
abc9: speedup by using using "clean" more efficiently
Diffstat (limited to 'frontends/aiger/aigerparse.h')
-rw-r--r--frontends/aiger/aigerparse.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/aiger/aigerparse.h b/frontends/aiger/aigerparse.h
index de3c3efbc..583c9d0f9 100644
--- a/frontends/aiger/aigerparse.h
+++ b/frontends/aiger/aigerparse.h
@@ -47,7 +47,7 @@ struct AigerReader
AigerReader(RTLIL::Design *design, std::istream &f, RTLIL::IdString module_name, RTLIL::IdString clk_name, std::string map_filename, bool wideports);
void parse_aiger();
- void parse_xaiger();
+ void parse_xaiger(const dict<int,IdString> &box_lookup);
void parse_aiger_ascii();
void parse_aiger_binary();
void post_process();