From dc154c39a8d296c0ed7619168d7b4eda95e2fbe0 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 27 Sep 2019 17:45:49 -0700
Subject: [PATCH] Fix infinite recursion

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

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index cc0857896..4045e8811 100644
--- 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;
-- 
2.30.2