Get rid of holes_mode
authorEddie Hung <eddie@fpgeh.com>
Tue, 31 Dec 2019 02:24:29 +0000 (18:24 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 31 Dec 2019 02:24:29 +0000 (18:24 -0800)
commite2bbe33a88c11b89e5a011c43d5a9c6b4623f9a7
tree7f6eff72c29dbf2e6bd0eb3f0bc61f84d36aec26
parentb50de28c045e786f3140c95ab23cb2f426918093
Get rid of holes_mode
backends/aiger/xaiger.cc