Revert "Output "h" extension only if boxes"
authorEddie Hung <eddie@fpgeh.com>
Thu, 29 Aug 2019 00:30:54 +0000 (17:30 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 29 Aug 2019 00:30:54 +0000 (17:30 -0700)
commit082a01954b95f50cb0ab1b2a1105c06391c0b1b4
tree8c1a51857cc21b407edcf169184934f7ba853141
parent070f3ac561e6f9aed46017c360a2e368779073d4
Revert "Output "h" extension only if boxes"

This reverts commit 399ac760ff2bf4a7d438ed388820e7bfb511de6b.
backends/aiger/xaiger.cc