aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2019-09-29 13:22:11 +0200
committerMiodrag Milanovic <mmicko@gmail.com>2019-09-29 13:22:11 +0200
commit3f70c1fd26eb109c2c4d899cce55f24bbf04acc1 (patch)
tree327cbd6c9c1c62362efe6e363ad6856f2f7e9a36 /frontends
parentce0631c371f69f0132ea9ee4bc8f5ee576dbb1a3 (diff)
downloadyosys-3f70c1fd26eb109c2c4d899cce55f24bbf04acc1.tar.gz
yosys-3f70c1fd26eb109c2c4d899cce55f24bbf04acc1.tar.bz2
yosys-3f70c1fd26eb109c2c4d899cce55f24bbf04acc1.zip
Open aig frontend as binary file
Diffstat (limited to 'frontends')
-rw-r--r--frontends/aiger/aigerparse.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index e8ee487e5..b0a04749c 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -1056,7 +1056,7 @@ struct AigerFrontend : public Frontend {
}
break;
}
- extra_args(f, filename, args, argidx);
+ extra_args(f, filename, args, argidx, true);
if (module_name.empty()) {
#ifdef _WIN32