summaryrefslogtreecommitdiffstats
path: root/src/aig
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2022-04-24 19:15:22 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2022-04-24 19:15:22 -0700
commit7693ce6a6ce542d7ef317ea4319f4622693ab016 (patch)
tree0b99b3f250a55fb8f98e2c5698030a6fad34451b /src/aig
parentdd81af8170f46dfbe801fa75c127664201e19552 (diff)
downloadabc-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.c4
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 )