diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-26 11:56:17 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-26 11:56:17 -0800 |
commit | 3c8c807ac16dbfc9b1960f77dd49fd244e3d718d (patch) | |
tree | 5d1a9fcbb7d7d742b16712b0e8ff6c9e04c0f291 /src/base/wlc/wlcNtk.c | |
parent | 57286e8ab692d2df5df6e4077134b913229ba33f (diff) | |
download | abc-3c8c807ac16dbfc9b1960f77dd49fd244e3d718d.tar.gz abc-3c8c807ac16dbfc9b1960f77dd49fd244e3d718d.tar.bz2 abc-3c8c807ac16dbfc9b1960f77dd49fd244e3d718d.zip |
Improvements to SMT-LIB parser.
Diffstat (limited to 'src/base/wlc/wlcNtk.c')
-rw-r--r-- | src/base/wlc/wlcNtk.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 6f396771..a0799ba0 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -195,14 +195,14 @@ void Wlc_ObjAddFanins( Wlc_Ntk_t * p, Wlc_Obj_t * pObj, Vec_Int_t * vFanins ) { assert( pObj->nFanins == 0 ); pObj->nFanins = Vec_IntSize(vFanins); - if ( Wlc_ObjHasArray(pObj) ) - pObj->pFanins[0] = (int *)Mem_FlexEntryFetch( p->pMemFanin, Vec_IntSize(vFanins) * sizeof(int) ); - memcpy( Wlc_ObjFanins(pObj), Vec_IntArray(vFanins), sizeof(int) * Vec_IntSize(vFanins) ); // special treatment of CONST, SELECT and TABLE if ( pObj->Type == WLC_OBJ_CONST ) pObj->nFanins = 0; else if ( pObj->Type == WLC_OBJ_BIT_SELECT || pObj->Type == WLC_OBJ_TABLE ) pObj->nFanins = 1; + if ( Wlc_ObjHasArray(pObj) ) + pObj->pFanins[0] = (int *)Mem_FlexEntryFetch( p->pMemFanin, Vec_IntSize(vFanins) * sizeof(int) ); + memcpy( Wlc_ObjFanins(pObj), Vec_IntArray(vFanins), sizeof(int) * Vec_IntSize(vFanins) ); } void Wlc_NtkFree( Wlc_Ntk_t * p ) { |