diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-01 21:51:06 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-01 21:51:06 -0800 |
| commit | 08b69297cc9e7a7fdce8fccb215956d977953a55 (patch) | |
| tree | c5413aa42bf00b8c3975ebe3c372e4bfaf53112b /src/base/cba/cbaPtrAbc.c | |
| parent | ffaf8b39ae2854d811f22bb123ddbfe977252f46 (diff) | |
| download | abc-08b69297cc9e7a7fdce8fccb215956d977953a55.tar.gz abc-08b69297cc9e7a7fdce8fccb215956d977953a55.tar.bz2 abc-08b69297cc9e7a7fdce8fccb215956d977953a55.zip | |
Improvements and tuning of CBA.
Diffstat (limited to 'src/base/cba/cbaPtrAbc.c')
| -rw-r--r-- | src/base/cba/cbaPtrAbc.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/cba/cbaPtrAbc.c b/src/base/cba/cbaPtrAbc.c index 30ab8728..a5e8304a 100644 --- a/src/base/cba/cbaPtrAbc.c +++ b/src/base/cba/cbaPtrAbc.c @@ -462,6 +462,7 @@ Vec_Ptr_t * Cba_PtrDeriveFromCba( Cba_Man_t * p ) Cba_Ntk_t * pTemp; int i; if ( p == NULL ) return NULL; + Cba_ManAssignInternNames( p ); vDes = Vec_PtrAllocExact( 1 + Cba_ManNtkNum(p) ); Vec_PtrPush( vDes, p->pName ); Cba_ManForEachNtk( p, pTemp, i ) |