Revert "write_xaiger: use sigmap bits more consistently"
authorEddie Hung <eddie@fpgeh.com>
Mon, 16 Dec 2019 22:35:35 +0000 (14:35 -0800)
committerEddie Hung <eddie@fpgeh.com>
Mon, 16 Dec 2019 22:35:35 +0000 (14:35 -0800)
commit78c0246d4abbd290289ed55a0008968293119446
treef1d5d81082cbd696349bf3ea92d66206ce2dca02
parent6c340112fee1bb8989cbd41923aaa627d77d5110
Revert "write_xaiger: use sigmap bits more consistently"

This reverts commit 6c340112fee1bb8989cbd41923aaa627d77d5110.
backends/aiger/xaiger.cc