Remove unnecessary undriven_bits.insert
authorEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 22:55:02 +0000 (15:55 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 22:55:02 +0000 (15:55 -0700)
commit8374eb1cb4dcb99b2125543a3d5f9f6adbdd6b7d
treec714c96b4c9e3fd2e9311cb0101a0bfc130b06a3
parent2e7e73f483e32fec62bc14fc12b10dafb17082f5
Remove unnecessary undriven_bits.insert
backends/aiger/xaiger.cc