fixed a bug

This commit is contained in:
Yen-Sheng Ho 2017-02-26 15:45:35 -08:00
parent 86b3cb3da9
commit ff745ca1a5
1 changed files with 0 additions and 2 deletions

View File

@ -456,8 +456,6 @@ static int Wlc_NtkUpdateBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars, Vec_Int_t ** p
Count[3]++; Count[3]++;
} }
assert( Vec_IntSize( vBlacks ) );
Vec_IntFree( *pvBlacks ); Vec_IntFree( *pvBlacks );
*pvBlacks = vBlacks; *pvBlacks = vBlacks;