aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger/xaiger.cc
diff options
context:
space:
mode:
authorMiodrag Milanović <mmicko@gmail.com>2019-09-29 10:37:34 +0200
committerGitHub <noreply@github.com>2019-09-29 10:37:34 +0200
commitce0631c371f69f0132ea9ee4bc8f5ee576dbb1a3 (patch)
tree65a3ee15a95cd30a3df5df1a5c5b77d864672e29 /backends/aiger/xaiger.cc
parent178c67ea226b093cdbe101a69cb83cc8800aa702 (diff)
parent0c380f085576c2cead5e3576825cb60046bfd76b (diff)
downloadyosys-ce0631c371f69f0132ea9ee4bc8f5ee576dbb1a3.tar.gz
yosys-ce0631c371f69f0132ea9ee4bc8f5ee576dbb1a3.tar.bz2
yosys-ce0631c371f69f0132ea9ee4bc8f5ee576dbb1a3.zip
Merge pull request #1413 from YosysHQ/mmicko/backend_binary_out
Support binary files for backends, fixes #1407
Diffstat (limited to 'backends/aiger/xaiger.cc')
-rw-r--r--backends/aiger/xaiger.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index fa6ba0aca..87ba0aedf 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -856,7 +856,7 @@ struct XAigerBackend : public Backend {
}
break;
}
- extra_args(f, filename, args, argidx);
+ extra_args(f, filename, args, argidx, !ascii_mode);
Module *top_module = design->top_module();