Fix infinite recursion

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index cc0857896d123f0f3e61462eb6d9e6421215e710..4045e8811271e086bc0686193b2e4a6806c75139 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -314,7 +314,7 @@ struct XAigerWriter
                                        SigBit d = cell->getPort(abc_flop_d);
                                        SigBit I = sigmap(d);
                                        if (I != d)
-                                               alias_map[I] = d;
+                                               alias_map[d] = I;
                                        unused_bits.erase(d);
 
                                        auto abc_flop_q = r.first->second.q_port;