diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 12:43:20 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 12:43:20 -0700 |
| commit | 950bb4c2428aa546ee6abc861e7e87fea31a4b20 (patch) | |
| tree | dfea14497e1e531e586b744914ab2493e3cd2db4 /backends | |
| parent | 70ee10b650e01b7b262baa5c6fda934fb860dfce (diff) | |
| download | yosys-950bb4c2428aa546ee6abc861e7e87fea31a4b20.tar.gz yosys-950bb4c2428aa546ee6abc861e7e87fea31a4b20.tar.bz2 yosys-950bb4c2428aa546ee6abc861e7e87fea31a4b20.zip | |
Move comment
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index caf292d59..0e8ea65bf 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -86,14 +86,15 @@ struct XAigerWriter int bit2aig(SigBit bit) { - // NB: Cannot use iterator returned from aig_map.insert() - // since this function is called recursively auto it = aig_map.find(bit); if (it != aig_map.end()) { log_assert(it->second >= 0); return it->second; } + // NB: Cannot use iterator returned from aig_map.insert() + // since this function is called recursively + int a = -1; if (not_map.count(bit)) { a = bit2aig(not_map.at(bit)) ^ 1; |