diff options
Diffstat (limited to 'src/base/abci/abcLut.c')
| -rw-r--r-- | src/base/abci/abcLut.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abcLut.c b/src/base/abci/abcLut.c index 8dc84ba0..49c74e6b 100644 --- a/src/base/abci/abcLut.c +++ b/src/base/abci/abcLut.c @@ -896,6 +896,7 @@ Abc_Ntk_t * Abc_NtkSpecialMapping( Abc_Ntk_t * pNtk, int fVerbose ) } if ( fVerbose ) + { Abc_NtkForEachNode( pNtk, pObj, i ) { printf( "Node %4d : ", i ); @@ -909,6 +910,7 @@ Abc_Ntk_t * Abc_NtkSpecialMapping( Abc_Ntk_t * pNtk, int fVerbose ) printf( " " ); Vec_IntPrint( Vec_WecEntry(vSupps, i) ); } + } Abc_NtkCleanCopy( pNtk ); pNtkNew = Abc_NtkStartFrom( pNtk, ABC_NTK_LOGIC, ABC_FUNC_SOP ); |