aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger/aigerparse.h
diff options
context:
space:
mode:
Diffstat (limited to 'frontends/aiger/aigerparse.h')
-rw-r--r--frontends/aiger/aigerparse.h5
1 files changed, 3 insertions, 2 deletions
diff --git a/frontends/aiger/aigerparse.h b/frontends/aiger/aigerparse.h
index 39a77bd93..e50f96ef7 100644
--- a/frontends/aiger/aigerparse.h
+++ b/frontends/aiger/aigerparse.h
@@ -41,8 +41,9 @@ struct AigerReader
AigerReader(RTLIL::Design *design, std::istream &f, RTLIL::IdString module_name, RTLIL::IdString clk_name);
void parse_aiger();
- void parse_aiger_ascii();
- void parse_aiger_binary();
+ void parse_xaiger();
+ void parse_aiger_ascii(bool create_and);
+ void parse_aiger_binary(bool create_and);
};
YOSYS_NAMESPACE_END