diff options
Diffstat (limited to 'src/base/acb')
| -rw-r--r-- | src/base/acb/acbUtil.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/acb/acbUtil.c b/src/base/acb/acbUtil.c index ecf84bb6..1b6f1039 100644 --- a/src/base/acb/acbUtil.c +++ b/src/base/acb/acbUtil.c @@ -652,8 +652,8 @@ int Acb_NtkExtract( char * pFileName0, char * pFileName1, int fVerbose, *pvNodes = Acb_NtkCollectCopies( pNtkF, pGiaF, pvNodesR ); RetValue = 1; } - if ( pNtkF->pDesign ) Acb_ManFree( pNtkF->pDesign ); - if ( pNtkG->pDesign ) Acb_ManFree( pNtkG->pDesign ); + if ( pNtkF ) Acb_ManFree( pNtkF->pDesign ); + if ( pNtkG ) Acb_ManFree( pNtkG->pDesign ); return RetValue; } |