diff options
| -rw-r--r-- | src/map/scl/sclBuff.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/scl/sclBuff.c b/src/map/scl/sclBuff.c index 8dc2a2fe..5a438cd4 100644 --- a/src/map/scl/sclBuff.c +++ b/src/map/scl/sclBuff.c @@ -58,6 +58,8 @@ int Abc_SclCheckNtk( Abc_Ntk_t * p, int fVerbose ) Abc_NodeSetTravIdCurrent( pObj ); if ( Abc_ObjFanoutNum(pObj) == 0 ) printf( "node %d has no fanout\n", Abc_ObjId(pObj) ), fFlag = 0; + if ( !fFlag ) + break; } if ( fFlag && fVerbose ) printf( "The network is in topo order and no dangling nodes.\n" ); |