From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 19 Sep 2019 22:40:28 +0000 (-0700)
Subject: When two boxes connect to each other, need not be a (* keep *)
X-Git-Tag: working-ls180~1039^2~83
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2d9484c12cd1fd96eca5253c876ad545ed209f40;p=yosys.git

When two boxes connect to each other, need not be a (* keep *)
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index fa6ba0aca..cbce4c83b 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -405,12 +405,7 @@ struct XAigerWriter
 							if (O != b)
 								alias_map[O] = b;
 							undriven_bits.erase(O);
-
-							auto jt = input_bits.find(b);
-							if (jt != input_bits.end()) {
-								log_assert(keep_bits.count(O));
-								input_bits.erase(b);
-							}
+							input_bits.erase(b);
 						}
 					}
 				}