Revert "Fix omode which inserts an output if none exists (otherwise abc9 breaks)"
authorEddie Hung <eddie@fpgeh.com>
Wed, 21 Aug 2019 18:29:40 +0000 (11:29 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 21 Aug 2019 18:29:40 +0000 (11:29 -0700)
commit8f0c1232d7c511a6473f4581e4c27a90088cedb7
treef053c5590f45e11e3fde5e23cb55c686fa223fd1
parent584c68069194f7c776755c108801a56898e19fff
Revert "Fix omode which inserts an output if none exists (otherwise abc9 breaks)"

This reverts commit 8182cb9d91555d5be52abbfeeb5d22af05342d8a.
backends/aiger/xaiger.cc