From 76c35f80f4d2ad3b2e686186c9febc2872f5c9ff Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Sat, 16 Feb 2019 21:09:48 -0800
Subject: [PATCH] Cleanup

---
 backends/aiger/xaiger.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 456f3f899..ae296d395 100644
--- 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)
-- 
2.30.2