xaiger: cleanup
authorEddie Hung <eddie@fpgeh.com>
Mon, 25 May 2020 14:17:48 +0000 (07:17 -0700)
committerEddie Hung <eddie@fpgeh.com>
Mon, 25 May 2020 15:43:33 +0000 (08:43 -0700)
commit9e6c288e5a8b69950f8e4ca394f6acee78f15a18
treed8d65250022822bcfc1c193540e7cf0106ef75ee
parentae11156c90eec958cd9ab631a28c41eccc105e56
xaiger: cleanup
backends/aiger/xaiger.cc