Cleanup write_xaiger
authorEddie Hung <eddie@fpgeh.com>
Sun, 16 Jun 2019 05:50:15 +0000 (22:50 -0700)
committerEddie Hung <eddie@fpgeh.com>
Sun, 16 Jun 2019 05:50:15 +0000 (22:50 -0700)
commit6852c83bbe5c1c862527b78910e7d29dc73a6ee5
treead1d2df6fe135dcd276538c09ee6a09f9532825b
parent3ed95dae8d7661256003f5294f6aa7168b87c5a8
Cleanup write_xaiger
backends/aiger/xaiger.cc