Cleanup

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 456f3f899aa40b29c75b23f7e6c16b886650749a..ae296d395d0d885c7ffeef12138f0bbd93683ccd 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -566,9 +566,8 @@ struct XAigerWriter
                output_lines.sort();
                for (auto &it : output_lines)
                        f << it.second;
-               if (omode && output_bits.empty() && co_bits.empty()) {
+               if (omode && output_lines.empty())
                        f << "output 0 0 __dummy_o__\n";
-               }
 
                latch_lines.sort();
                for (auto &it : latch_lines)