riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge branch 'xaig' into xc7mux

This commit is contained in:
Eddie Hung 2019-04-10 18:07:11 -07:00
parent cd7b2de27f 2217d59e29
commit 227cc54c16
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
backends/aiger/xaiger.cc
View File

@ -229,7 +229,7 @@ struct XAigerWriter
} }
if (is_output) { if (is_output) {
SigBit O = sigmap(b); SigBit O = sigmap(b);
if (!input_bits.count(O) && !output_bits.count(O)) if (!input_bits.count(O))
ci_bits.insert(O); ci_bits.insert(O);
} }
} }