Revert "Only xaig if GetSize(output_bits) > 0"
authorEddie Hung <eddie@fpgeh.com>
Wed, 21 Aug 2019 04:22:38 +0000 (21:22 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 21 Aug 2019 04:22:38 +0000 (21:22 -0700)
commit4d123b7638b7036da70de169d16d2ae21b89b8e2
tree4fd972a04c38dc1013bb0ae16890cb89b691eb6a
parent7b646101e936cacd20938c20ddfbaa63ee268fb2
Revert "Only xaig if GetSize(output_bits) > 0"

This reverts commit 7b646101e936cacd20938c20ddfbaa63ee268fb2.
backends/aiger/xaiger.cc