More cleanup of write_xaiger
authorEddie Hung <eddieh@ece.ubc.ca>
Thu, 14 Feb 2019 22:48:38 +0000 (14:48 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Thu, 14 Feb 2019 22:48:38 +0000 (14:48 -0800)
commit732877558475788992ad822f28a99fd16336e05a
treedc315d0a2204ef4544d6f9271c7b835604fb4518
parentafa4389445adc8e53871af78ab1c38c98e03a6fc
More cleanup of write_xaiger
backends/aiger/xaiger.cc