diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-27 21:57:18 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-27 21:57:18 -0800 |
| commit | 0699c43ac5422be567a5e106d2e64dabf68db4b4 (patch) | |
| tree | d924bf9e8122ade3db0fa3df002047ba1eeddcb7 /src/base/wlc/wlcNtk.c | |
| parent | fafd8c22156fd2bdb9886348799477dfe477bb9c (diff) | |
| download | abc-0699c43ac5422be567a5e106d2e64dabf68db4b4.tar.gz abc-0699c43ac5422be567a5e106d2e64dabf68db4b4.tar.bz2 abc-0699c43ac5422be567a5e106d2e64dabf68db4b4.zip | |
Experiments with memory abstraction.
Diffstat (limited to 'src/base/wlc/wlcNtk.c')
| -rw-r--r-- | src/base/wlc/wlcNtk.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index d3228de6..6e882bc1 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -832,7 +832,7 @@ void Wlc_NtkTransferNames( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p ) assert( pNew->pManName == NULL && p->pManName != NULL ); Wlc_NtkCleanNameId( pNew ); for ( i = 0; i < p->nObjsAlloc; i++ ) - if ( Wlc_ObjCopy(p, i) && i < Vec_IntSize(&p->vNameIds) && Wlc_ObjNameId(p, i) ) + if ( Wlc_ObjCopy(p, i) > 0 && i < Vec_IntSize(&p->vNameIds) && Wlc_ObjNameId(p, i) ) Wlc_ObjSetNameId( pNew, Wlc_ObjCopy(p, i), Wlc_ObjNameId(p, i) ); pNew->pManName = p->pManName; p->pManName = NULL; |