xaiger: do not promote output wires

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 46890b0712359ba9880baaa9e86fcb15283fedfe..85136118a9ab5c79f4f6bddc1884ecc553217afc 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -153,11 +153,6 @@ struct XAigerWriter
                        if (wire->port_input)
                                sigmap.add(wire);
 
-               // promote output wires
-               for (auto wire : module->wires())
-                       if (wire->port_output)
-                               sigmap.add(wire);
-
                for (auto wire : module->wires())
                {
                        bool keep = wire->attributes.count("\\keep");