write_xaiger: get rid of external_bits dict
authorEddie Hung <eddie@fpgeh.com>
Thu, 2 Jan 2020 23:32:58 +0000 (15:32 -0800)
committerEddie Hung <eddie@fpgeh.com>
Thu, 2 Jan 2020 23:32:58 +0000 (15:32 -0800)
commit07feedfa736637952663dd8174123ea3bf1dddbc
tree29915689d47bca1c9926825f0a840476754c9566
parent6e866030c286d70f6ccff805e58b1fdd9a1a322b
write_xaiger: get rid of external_bits dict
backends/aiger/xaiger.cc