diff options
| author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-26 15:45:35 -0800 |
|---|---|---|
| committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-26 15:45:35 -0800 |
| commit | ff745ca1a596b124a72b54fecd27b0fcdf4412ad (patch) | |
| tree | 6da75e78df9af03df675ec9366009cc1599aa975 /src/base/wlc/wlcAbs.c | |
| parent | 86b3cb3da999b1d5f3e59ff7dacfca00e9c321d6 (diff) | |
| download | abc-ff745ca1a596b124a72b54fecd27b0fcdf4412ad.tar.gz abc-ff745ca1a596b124a72b54fecd27b0fcdf4412ad.tar.bz2 abc-ff745ca1a596b124a72b54fecd27b0fcdf4412ad.zip | |
fixed a bug
Diffstat (limited to 'src/base/wlc/wlcAbs.c')
| -rw-r--r-- | src/base/wlc/wlcAbs.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c index bb3a6368..410d1d22 100644 --- a/src/base/wlc/wlcAbs.c +++ b/src/base/wlc/wlcAbs.c @@ -456,8 +456,6 @@ static int Wlc_NtkUpdateBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars, Vec_Int_t ** p Count[3]++; } - assert( Vec_IntSize( vBlacks ) ); - Vec_IntFree( *pvBlacks ); *pvBlacks = vBlacks; |