diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaDup.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index d3a4ccc8..0c9e2fb7 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -558,7 +558,9 @@ Gia_Man_t * Gia_ManDupMarked( Gia_Man_t * p ) pRepr = Gia_ObjReprObj( p, i ); if ( pRepr == NULL ) continue; - assert( ~pRepr->Value ); +// assert( ~pRepr->Value ); + if ( !~pRepr->Value ) + continue; if ( Gia_Lit2Var(pObj->Value) != Gia_Lit2Var(pRepr->Value) ) Gia_ObjSetRepr( pNew, Gia_Lit2Var(pObj->Value), Gia_Lit2Var(pRepr->Value) ); } |