Rid unnecessary if
authorEddie Hung <eddie@fpgeh.com>
Tue, 31 Dec 2019 02:26:35 +0000 (18:26 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 31 Dec 2019 02:26:35 +0000 (18:26 -0800)
commit65baefecd39b3be641b9a6be350d2ae83854cacc
tree9c5a5879469a1de262280d6f268aa332607a5839
parente2bbe33a88c11b89e5a011c43d5a9c6b4623f9a7
Rid unnecessary if
backends/aiger/xaiger.cc