diff options
Diffstat (limited to 'src/opt/sbd/sbdCore.c')
| -rw-r--r-- | src/opt/sbd/sbdCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sbd/sbdCore.c b/src/opt/sbd/sbdCore.c index 275d866f..63dc51ab 100644 --- a/src/opt/sbd/sbdCore.c +++ b/src/opt/sbd/sbdCore.c @@ -1945,7 +1945,7 @@ int Sbd_ManImplement2( Sbd_Man_t * p, int Pivot, int nStrs, Sbd_Str_t * pStrs ) void Sbd_ManDeriveMapping_rec( Sbd_Man_t * p, Gia_Man_t * pNew, int iObj ) { Gia_Obj_t * pObj; int k, * pCut; - if ( Gia_ObjIsTravIdCurrentId(pNew, iObj) ) + if ( !iObj || Gia_ObjIsTravIdCurrentId(pNew, iObj) ) return; Gia_ObjSetTravIdCurrentId(pNew, iObj); pObj = Gia_ManObj( pNew, iObj ); |