From 9e073ed8506c086d6e827f5588d1ee56c57703da Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 15 Jan 2006 08:01:00 -0800 Subject: Version abc60115 --- src/sat/csat/csat_apis.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/sat/csat') diff --git a/src/sat/csat/csat_apis.c b/src/sat/csat/csat_apis.c index 74503a2b..eb1c5374 100644 --- a/src/sat/csat/csat_apis.c +++ b/src/sat/csat/csat_apis.c @@ -291,6 +291,8 @@ int CSAT_Check_Integrity( CSAT_Manager mng ) // check that there is no dangling nodes Abc_NtkForEachNode( pNtk, pObj, i ) { + if ( i == 0 ) + continue; if ( Abc_ObjFanoutNum(pObj) == 0 ) { printf( "CSAT_Check_Integrity: The network has dangling nodes.\n" ); -- cgit v1.2.3