Small improvement
authorEddie Hung <eddie@fpgeh.com>
Tue, 28 May 2019 18:29:59 +0000 (11:29 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 28 May 2019 18:29:59 +0000 (11:29 -0700)
commit13e233217cd0caceeb5d30d2eefa5238ffc5bfc9
tree8ddf0c5af5ee13c2534f0643826b56144cc2e2a6
parent5f39c262c278f90f6bbb55d5969b970230876ef5
Small improvement
backends/aiger/xaiger.cc