From ff745ca1a596b124a72b54fecd27b0fcdf4412ad Mon Sep 17 00:00:00 2001
From: Yen-Sheng Ho <ysho@berkeley.edu>
Date: Sun, 26 Feb 2017 15:45:35 -0800
Subject: fixed a bug

---
 src/base/wlc/wlcAbs.c | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src')

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;
 
-- 
cgit v1.2.3