Remove redundant condition
authorEddie Hung <eddie@fpgeh.com>
Fri, 14 Jun 2019 20:31:18 +0000 (13:31 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 14 Jun 2019 20:31:18 +0000 (13:31 -0700)
commit46e69ee934a6a954b73bb7a5669b6ee6d3047247
tree8f84de6ce39023b2733619b8619172ebce20e252
parent9b55e69755a00a46c97104f344c0ee7065a8f13c
Remove redundant condition
backends/aiger/xaiger.cc