diff options
author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-30 13:53:18 -0700 |
---|---|---|
committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-30 13:53:18 -0700 |
commit | 1cb140bb1143df405817ae62bde2dcd866fc282c (patch) | |
tree | d964030340c4e659b9f5bf22c83b631691cbd277 /src/base/wlc/wlcAbs.c | |
parent | ecf91190d6a1dab0691ad03f42c816ec2788722b (diff) | |
download | abc-1cb140bb1143df405817ae62bde2dcd866fc282c.tar.gz abc-1cb140bb1143df405817ae62bde2dcd866fc282c.tar.bz2 abc-1cb140bb1143df405817ae62bde2dcd866fc282c.zip |
%pdra: fixed bugs
Diffstat (limited to 'src/base/wlc/wlcAbs.c')
-rw-r--r-- | src/base/wlc/wlcAbs.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c index abc71809..aaf7f045 100644 --- a/src/base/wlc/wlcAbs.c +++ b/src/base/wlc/wlcAbs.c @@ -1545,7 +1545,9 @@ void Wla_ManRefine( Wla_Man_t * pWla ) if ( pWla->fNewAbs ) { - assert( pWla->pCex == NULL ); + if ( pWla->pCex ) + Abc_CexFree( pWla->pCex ); + pWla->pCex = NULL; Gia_ManStop( pWla->pGia ); pWla->pGia = NULL; return; } |