diff options
Diffstat (limited to 'src/aig/aig/aigRepr.c')
| -rw-r--r-- | src/aig/aig/aigRepr.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/aig/aigRepr.c b/src/aig/aig/aigRepr.c index 5ee6c9af..3a7e382c 100644 --- a/src/aig/aig/aigRepr.c +++ b/src/aig/aig/aigRepr.c @@ -429,7 +429,6 @@ void Aig_ManMarkValidChoices( Aig_Man_t * p ) pRepr = Aig_ObjFindRepr( p, pObj ); if ( pRepr == NULL ) continue; - assert( pObj->nRefs == 0 ); // skip constant and PI classes if ( !Aig_ObjIsNode(pRepr) ) { @@ -444,6 +443,7 @@ void Aig_ManMarkValidChoices( Aig_Man_t * p ) } //printf( "Node %d is represented by node %d.\n", pObj->Id, pRepr->Id ); // add choice to the choice node + assert( pObj->nRefs == 0 ); p->pEquivs[pObj->Id] = p->pEquivs[pRepr->Id]; p->pEquivs[pRepr->Id] = pObj; } |