From 910a66a3723e7f3dedd798695c40e9b073296255 Mon Sep 17 00:00:00 2001
From: wjrforcyber <wjrforcyber@163.com>
Date: Fri, 17 Jan 2025 18:26:53 +0800
Subject: [PATCH] Fix(print_mffc): Missing condition when single output linked
 to CO

---
 src/base/abci/abcPrint.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c
index 636665249..35d5c1206 100644
--- a/src/base/abci/abcPrint.c
+++ b/src/base/abci/abcPrint.c
@@ -1083,7 +1083,7 @@ void Abc_NtkPrintMffc( FILE * pFile, Abc_Ntk_t * pNtk )
     int i;
     extern void Abc_NodeMffcConeSuppPrint( Abc_Obj_t * pNode );
     Abc_NtkForEachNode( pNtk, pNode, i )
-        if ( Abc_ObjFanoutNum(pNode) > 1 )
+        if ( Abc_ObjFanoutNum(pNode) > 1 || (Abc_ObjFanoutNum(pNode) == 1 && Abc_ObjIsCo(Abc_ObjFanout0(pNode))))
             Abc_NodeMffcConeSuppPrint( pNode );
 }