Commented out one useless assertion in scorr.

This commit is contained in:
Alan Mishchenko 2011-04-12 23:59:16 -07:00
parent 302f41e908
commit c82a418b26
1 changed files with 1 additions and 1 deletions

View File

@ -80,7 +80,7 @@ unsigned Ssw_SmlObjHashWord( Ssw_Sml_t * p, Aig_Obj_t * pObj )
unsigned * pSims;
unsigned uHash;
int i;
assert( p->nWordsTotal <= 128 );
// assert( p->nWordsTotal <= 128 );
uHash = 0;
pSims = Ssw_ObjSim(p, pObj->Id);
for ( i = p->nWordsPref; i < p->nWordsTotal; i++ )