Revert "Get rid of holes_mode"
authorEddie Hung <eddie@fpgeh.com>
Tue, 31 Dec 2019 07:29:14 +0000 (23:29 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 31 Dec 2019 07:29:14 +0000 (23:29 -0800)
commit436c96e2fba0d7f73adb0ebb2b69821fe1dfc58c
tree2ca3bf7a965c81af56004b1c0c05b9fd667a39a4
parent7997e2a90fd37886241b7eb657408177ef7f6fa7
Revert "Get rid of holes_mode"

This reverts commit 7997e2a90fd37886241b7eb657408177ef7f6fa7.
backends/aiger/xaiger.cc