diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2019-09-29 13:22:11 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2019-09-29 13:22:11 +0200 |
| commit | 3f70c1fd26eb109c2c4d899cce55f24bbf04acc1 (patch) | |
| tree | 327cbd6c9c1c62362efe6e363ad6856f2f7e9a36 /frontends/aiger | |
| parent | ce0631c371f69f0132ea9ee4bc8f5ee576dbb1a3 (diff) | |
| download | yosys-3f70c1fd26eb109c2c4d899cce55f24bbf04acc1.tar.gz yosys-3f70c1fd26eb109c2c4d899cce55f24bbf04acc1.tar.bz2 yosys-3f70c1fd26eb109c2c4d899cce55f24bbf04acc1.zip | |
Open aig frontend as binary file
Diffstat (limited to 'frontends/aiger')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 2 |
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 |