From 7959e9d6b25d7afefded4b14e14ccf2b0b5af553 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 4 Oct 2019 17:21:14 -0700
Subject: Fix merge issues

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

(limited to 'backends/aiger/xaiger.cc')

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 09b5586fe..4547b9c09 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -254,7 +254,7 @@ struct XAigerWriter
 
 			log_assert(!holes_mode);
 
-			if (cell->type == "$__ABC_FF_")
+			if (cell->type == "$__ABC9_FF_")
 			{
 				SigBit D = sigmap(cell->getPort("\\D").as_bit());
 				SigBit Q = sigmap(cell->getPort("\\Q").as_bit());
-- 
cgit v1.2.3