From 4c06c8afc05d5b46c536fddfd5ad4f885ffff1d9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 11 Sep 2012 19:40:12 -0700
Subject: Improved topo print-out.

---
 src/map/scl/sclBuff.c | 2 ++
 1 file changed, 2 insertions(+)

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" );
-- 
cgit v1.2.3