diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-09 13:18:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-09 13:18:22 -0700 |
| commit | 6a4e94e74de5158280ca6959b17c2c86db1299a4 (patch) | |
| tree | c2c364976a541b936a28895d4645e0461ad683fb /src/misc/util | |
| parent | 356217eff7416606ebbcf739dbd999ba6b2db299 (diff) | |
| download | abc-6a4e94e74de5158280ca6959b17c2c86db1299a4.tar.gz abc-6a4e94e74de5158280ca6959b17c2c86db1299a4.tar.bz2 abc-6a4e94e74de5158280ca6959b17c2c86db1299a4.zip | |
Improvements to Cba data-structure.
Diffstat (limited to 'src/misc/util')
| -rw-r--r-- | src/misc/util/utilNam.c | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/misc/util/utilNam.c b/src/misc/util/utilNam.c index 49a3ae6a..6cb180c0 100644 --- a/src/misc/util/utilNam.c +++ b/src/misc/util/utilNam.c @@ -133,13 +133,9 @@ void Abc_NamStop( Abc_Nam_t * p ) ***********************************************************************/ void Abc_NamPrint( Abc_Nam_t * p ) { - int h, i, Counter = 0; + int h, i; Vec_IntForEachEntryStart( &p->vInt2Handle, h, i, 1 ) - if ( Abc_NamHandleToStr(p, h)[0] == '[' ) - Abc_Print( 1, "%s ", Abc_NamHandleToStr(p, h) ), Counter++; -// Abc_Print( 1, "%d=\n%s\n", i, Abc_NamHandleToStr(p, h) ); -// Abc_Print( 1, "\n" ); - printf( " %d\n", Counter ); + Abc_Print( 1, "%d=\n%s\n", i, Abc_NamHandleToStr(p, h) ); } /**Function************************************************************* |