diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-05-05 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-05-05 08:01:00 -0700 |
| commit | d5b0fdee741dbc64bcfe75c54420219a7cbeac1a (patch) | |
| tree | 972832d3f1fdebea4a4bb67e650bf587d189ede8 /src/base/abci/abcPrint.c | |
| parent | d7a048d738381651b53340684e26f06b78b8a78c (diff) | |
| download | abc-d5b0fdee741dbc64bcfe75c54420219a7cbeac1a.tar.gz abc-d5b0fdee741dbc64bcfe75c54420219a7cbeac1a.tar.bz2 abc-d5b0fdee741dbc64bcfe75c54420219a7cbeac1a.zip | |
Version abc90505
Diffstat (limited to 'src/base/abci/abcPrint.c')
| -rw-r--r-- | src/base/abci/abcPrint.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index 10e3ba2d..c9fb2834 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -1129,8 +1129,8 @@ void Abc_NtkPrintStrSupports( Abc_Ntk_t * pNtk ) { vSupp = Abc_NtkNodeSupport( pNtk, &pObj, 1 ); vNodes = Abc_NtkDfsNodes( pNtk, &pObj, 1 ); - printf( "%20s : Cone = %5d. Supp = %5d.\n", - Abc_ObjName(pObj), vNodes->nSize, vSupp->nSize ); + printf( "%5d %20s : Cone = %5d. Supp = %5d.\n", + i, Abc_ObjName(pObj), vNodes->nSize, vSupp->nSize ); Vec_PtrFree( vNodes ); Vec_PtrFree( vSupp ); } |