diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-24 19:15:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-24 19:15:22 -0700 |
| commit | 7693ce6a6ce542d7ef317ea4319f4622693ab016 (patch) | |
| tree | 0b99b3f250a55fb8f98e2c5698030a6fad34451b /src/aig | |
| parent | dd81af8170f46dfbe801fa75c127664201e19552 (diff) | |
| download | abc-7693ce6a6ce542d7ef317ea4319f4622693ab016.tar.gz abc-7693ce6a6ce542d7ef317ea4319f4622693ab016.tar.bz2 abc-7693ce6a6ce542d7ef317ea4319f4622693ab016.zip | |
Bug fix in &uif.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaDup.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 9a82aa3c..cc501562 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -5260,11 +5260,11 @@ Vec_Wec_t ** Gia_ManDupUifBuildMap( Gia_Man_t * p ) for ( j = 0; j < (Item >> 16); j++ ) Vec_IntPush( vVec, Vec_IntEntry(vBufs, k++) ); } - Vec_IntFree( vTypes ); - Vec_IntFree( vBufs ); assert( p->nBufs == k ); for ( i = 0; i < Vec_IntSize(vTypes); i++ ) assert( Vec_WecSize(pvMap[2*i+0]) == Vec_WecSize(pvMap[2*i+1]) ); + Vec_IntFree( vTypes ); + Vec_IntFree( vBufs ); return pvMap; } int Gia_ManDupUifConstrOne( Gia_Man_t * pNew, Gia_Man_t * p, Vec_Int_t * vVec0, Vec_Int_t * vVec1 ) |