More cleanup
authorEddie Hung <eddieh@ece.ubc.ca>
Thu, 14 Feb 2019 22:52:47 +0000 (14:52 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Thu, 14 Feb 2019 22:52:47 +0000 (14:52 -0800)
commitc69fba8de5056e5892014b143856993d404e7c84
tree5b956bfcab755c42a45f0ee74f7ddeade7ab3464
parent732877558475788992ad822f28a99fd16336e05a
More cleanup
backends/aiger/xaiger.cc