aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger/aigerparse.h
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-04-23 15:06:19 -0700
committerEddie Hung <eddie@fpgeh.com>2019-04-23 15:06:19 -0700
commit9d122d3c51575fe6803729e8f953141edb3b12c3 (patch)
tree66294b8d20a3b94d70b2ea32d0498149223d7f9f /frontends/aiger/aigerparse.h
parent60026842b20e04affe60a7871fd14bb544add37b (diff)
downloadyosys-9d122d3c51575fe6803729e8f953141edb3b12c3.tar.gz
yosys-9d122d3c51575fe6803729e8f953141edb3b12c3.tar.bz2
yosys-9d122d3c51575fe6803729e8f953141edb3b12c3.zip
Refactor into AigerReader::post_process()
Diffstat (limited to 'frontends/aiger/aigerparse.h')
-rw-r--r--frontends/aiger/aigerparse.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/frontends/aiger/aigerparse.h b/frontends/aiger/aigerparse.h
index 39757545f..8c9f3a0c9 100644
--- a/frontends/aiger/aigerparse.h
+++ b/frontends/aiger/aigerparse.h
@@ -47,6 +47,7 @@ struct AigerReader
void parse_xaiger();
void parse_aiger_ascii();
void parse_aiger_binary();
+ void post_process();
};
YOSYS_NAMESPACE_END