Skip to content

A
abc
Commit 0847ee73 by Alan Mishchenko
Options

Bug fix in &b when reference counters are given.

parent 87e1bc45
Showing with 1 additions and 0 deletions
src/aig/gia/giaMuxes.c
...@@ -48,6 +48,7 @@ Gia_Man_t * Gia_ManDupMuxes( Gia_Man_t * p ) ...@@ -48,6 +48,7 @@ Gia_Man_t * Gia_ManDupMuxes( Gia_Man_t * p )
Gia_Obj_t * pObj, * pFan0, * pFan1, * pFanC; Gia_Obj_t * pObj, * pFan0, * pFan1, * pFanC;
int i; int i;
assert( p->pMuxes == NULL ); assert( p->pMuxes == NULL );
ABC_FREE( p->pRefs );
Gia_ManCreateRefs( p ); Gia_ManCreateRefs( p );
// start the new manager // start the new manager
pNew = Gia_ManStart( 5000 ); pNew = Gia_ManStart( 5000 );
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment