From 1de4eafb0da0639199bd97f2fa98471e76327a6b Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 6 Jun 2023 13:59:30 +0200
Subject: [PATCH] fix segfault

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

diff --git src/base/io/ioWriteVerilog.c src/base/io/ioWriteVerilog.c
index 48b15b559..3d9f8fa38 100644
--- src/base/io/ioWriteVerilog.c
+++ src/base/io/ioWriteVerilog.c
@@ -561,7 +561,7 @@ void Io_WriteVerilogObjects( FILE * pFile, Abc_Ntk_t * pNtk, int fOnlyAnds )
         vLevels = Vec_VecAlloc( 10 );
         Abc_NtkForEachNode( pNtk, pObj, i )
         {
-            if ( Abc_ObjFaninNum(pObj) == 1 || Abc_ObjIsCo(Abc_ObjFanout0(Abc_ObjFanout0(pObj))) )
+            if ( Abc_ObjFaninNum(pObj) == 1 && Abc_ObjIsCo(Abc_ObjFanout0(Abc_ObjFanout0(pObj))) )
             {
                 int iLit = Abc_Var2Lit( Abc_ObjId( Abc_ObjFanin0(Abc_ObjFanin0(pObj)) ), Abc_NodeIsInv(pObj) );
                 int iObj = Vec_IntEntry( vMap, iLit );