aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-04-10 18:07:11 -0700
committerEddie Hung <eddie@fpgeh.com>2019-04-10 18:07:11 -0700
commit227cc54c162603d4c1a32f7765e81537bf5e2347 (patch)
tree90fc3f2ee9aa219b042e8692e311c5a96d342208
parentcd7b2de27f4ffd097af7662a0390a5c86e5532a3 (diff)
parent2217d59e299ce0cc15887d53308d7b7cb6400c52 (diff)
downloadyosys-227cc54c162603d4c1a32f7765e81537bf5e2347.tar.gz
yosys-227cc54c162603d4c1a32f7765e81537bf5e2347.tar.bz2
yosys-227cc54c162603d4c1a32f7765e81537bf5e2347.zip
Merge branch 'xaig' into xc7mux
-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 a4ef89931..bad9322bb 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -229,7 +229,7 @@ struct XAigerWriter
}
if (is_output) {
SigBit O = sigmap(b);
- if (!input_bits.count(O) && !output_bits.count(O))
+ if (!input_bits.count(O))
ci_bits.insert(O);
}
}