Get rid of (* abc9_keep *) in write_xaiger too
authorEddie Hung <eddie@fpgeh.com>
Wed, 1 Jan 2020 16:38:23 +0000 (08:38 -0800)
committerEddie Hung <eddie@fpgeh.com>
Wed, 1 Jan 2020 16:38:23 +0000 (08:38 -0800)
commit11577b46fcfa6c9aef4c3ed83e508ab07bc722c7
treed0bba69f087d5928256bc39e9a3cc89021430b4d
parent6dc63e84ef680465d500bf35da64fade626498b6
Get rid of (* abc9_keep *) in write_xaiger too
backends/aiger/xaiger.cc