diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-30 18:29:08 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-30 18:29:08 -0800 |
| commit | 0847ee732e62585c804cf748fe52aca55f7dc254 (patch) | |
| tree | 778afaba9846db41d76d5d0ba8e5c373558458ec /src/aig/gia/giaMuxes.c | |
| parent | 87e1bc45a6048f76d35049e4e2b8778c0241ff6c (diff) | |
| download | abc-0847ee732e62585c804cf748fe52aca55f7dc254.tar.gz abc-0847ee732e62585c804cf748fe52aca55f7dc254.tar.bz2 abc-0847ee732e62585c804cf748fe52aca55f7dc254.zip | |
Bug fix in &b when reference counters are given.
Diffstat (limited to 'src/aig/gia/giaMuxes.c')
| -rw-r--r-- | src/aig/gia/giaMuxes.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaMuxes.c b/src/aig/gia/giaMuxes.c index 827bdf9a..b4afe214 100644 --- a/src/aig/gia/giaMuxes.c +++ b/src/aig/gia/giaMuxes.c @@ -48,6 +48,7 @@ Gia_Man_t * Gia_ManDupMuxes( Gia_Man_t * p ) Gia_Obj_t * pObj, * pFan0, * pFan1, * pFanC; int i; assert( p->pMuxes == NULL ); + ABC_FREE( p->pRefs ); Gia_ManCreateRefs( p ); // start the new manager pNew = Gia_ManStart( 5000 ); |