diff options
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; } |