diff options
Diffstat (limited to 'src/aig/rwt/rwtDec.c')
| -rw-r--r-- | src/aig/rwt/rwtDec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/rwt/rwtDec.c b/src/aig/rwt/rwtDec.c index 98019629..df6209cd 100644 --- a/src/aig/rwt/rwtDec.c +++ b/src/aig/rwt/rwtDec.c @@ -60,7 +60,7 @@ void Rwt_ManPreprocess( Rwt_Man_t * p ) for ( pNode = p->pTable[i]; pNode; pNode = pNode->pNext ) { assert( pNode->uTruth == p->pTable[i]->uTruth ); - assert( p->pMap[pNode->uTruth] >= 0 && p->pMap[pNode->uTruth] < 222 ); + assert( p->pMap[pNode->uTruth] < 222 ); // Always >= 0 b/c unsigned. Vec_VecPush( p->vClasses, p->pMap[pNode->uTruth], pNode ); p->pMapInv[ p->pMap[pNode->uTruth] ] = p->puCanons[pNode->uTruth]; } |