write_xaiger: create holes_sigmap before modifications
authorEddie Hung <eddie@fpgeh.com>
Sun, 12 Jan 2020 01:25:32 +0000 (17:25 -0800)
committerEddie Hung <eddie@fpgeh.com>
Sun, 12 Jan 2020 01:25:32 +0000 (17:25 -0800)
commit58ab9f6021bc5b90956d97759ef0f3bc8c7e209e
treeef62195d9eef5a695f1905c1e9e56374aa48ddf3
parent04a2eb82045a658de22cea610a3ac8c5dee9333c
write_xaiger: create holes_sigmap before modifications
backends/aiger/xaiger.cc