diff options
Diffstat (limited to 'src/aig/aig/aigObj.c')
| -rw-r--r-- | src/aig/aig/aigObj.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/aig/aig/aigObj.c b/src/aig/aig/aigObj.c index 542b90f9..f2296e01 100644 --- a/src/aig/aig/aigObj.c +++ b/src/aig/aig/aigObj.c @@ -380,12 +380,13 @@ void Aig_ObjReplace( Aig_Man_t * p, Aig_Obj_t * pObjOld, Aig_Obj_t * pObjNew, in // delete the new object Aig_ObjDelete( p, pObjNew ); // update levels - if ( fUpdateLevel ) + if ( p->pFanData ) { pObjOld->Level = LevelOld; Aig_ManUpdateLevel( p, pObjOld ); - Aig_ManUpdateReverseLevel( p, pObjOld ); } + if ( fUpdateLevel ) + Aig_ManUpdateReverseLevel( p, pObjOld ); } p->nObjs[pObjOld->Type]++; // store buffers if fanout is allocated |