diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 12:43:20 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 14:31:09 -0700 |
| commit | 70c93ea0c4ce023d61553df11198aa0b7e518455 (patch) | |
| tree | 32f701c33fc01d9775de0d0ccdbc543996173649 /backends | |
| parent | 6a336ca23ef5d98b3d68dac2f05de49360237149 (diff) | |
| download | yosys-70c93ea0c4ce023d61553df11198aa0b7e518455.tar.gz yosys-70c93ea0c4ce023d61553df11198aa0b7e518455.tar.bz2 yosys-70c93ea0c4ce023d61553df11198aa0b7e518455.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 48e902666..aa10aa55e 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; |