From f2d4f6c26eb610cf4843004fc6955a1548aa9f8f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 8 Feb 2008 08:01:00 -0800
Subject: Version abc80208

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

(limited to 'src/base')

diff --git a/src/base/abc/abcDfs.c b/src/base/abc/abcDfs.c
index c882672b..fd3b9253 100644
--- a/src/base/abc/abcDfs.c
+++ b/src/base/abc/abcDfs.c
@@ -677,7 +677,7 @@ void Abc_NtkNodeSupport_rec( Abc_Obj_t * pNode, Vec_Ptr_t * vNodes )
     // mark the node as visited
     Abc_NodeSetTravIdCurrent( pNode );
     // collect the CI
-    if ( Abc_ObjIsCi(pNode) )//|| Abc_ObjFaninNum(pNode) == 0 )
+    if ( Abc_ObjIsCi(pNode) || (Abc_NtkIsStrash(pNode->pNtk) && Abc_ObjFaninNum(pNode) == 0) )
     {
         Vec_PtrPush( vNodes, pNode );
         return;
-- 
cgit v1.2.3