diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-14 20:38:13 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-14 20:38:13 -0800 |
commit | d9ffe9c3ad918bffadc833be0542a50c758d85d5 (patch) | |
tree | 3b0962df9845107edde9d65822266a1d536519dd /src/base/wlc | |
parent | 98c5668d4bb98a88a4316032f0952cc9b114dce7 (diff) | |
download | abc-d9ffe9c3ad918bffadc833be0542a50c758d85d5.tar.gz abc-d9ffe9c3ad918bffadc833be0542a50c758d85d5.tar.bz2 abc-d9ffe9c3ad918bffadc833be0542a50c758d85d5.zip |
Improvements to word-level network package.
Diffstat (limited to 'src/base/wlc')
-rw-r--r-- | src/base/wlc/wlcNtk.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 4b5ae8b7..33cf989d 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -382,13 +382,13 @@ void Wlc_NtkPrintStats( Wlc_Ntk_t * p, int fDistrib, int fVerbose ) printf( "Obj = %6d ", Wlc_NtkObjNum(p) ); printf( "Mem = %.3f MB", 1.0*Wlc_NtkMemUsage(p)/(1<<20) ); printf( "\n" ); - if ( !fVerbose ) - return; if ( fDistrib ) { Wlc_NtkPrintDistrib( p, fVerbose ); return; } + if ( !fVerbose ) + return; printf( "Node type statistics:\n" ); for ( i = 1; i < WLC_OBJ_NUMBER; i++ ) { |