diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 5674ff8cc..7d6f7ad99 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -539,10 +539,9 @@ Gia_Man_t * Gia_ReadAiger2( char * pFileName, int fCheck ) pNew->pName = Gia_UtilStrsav( (char *)pCur ); } } + Vec_IntFree( vNodes ); // skipping the comments - ABC_FREE( pContents ); - Vec_IntFree( vNodes ); /* // check the result if ( fCheck && !Gia_ManCheck( pNew ) ) @@ -800,7 +799,6 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck // skipping the comments - ABC_FREE( pContents ); Vec_IntFree( vNodes ); /* // check the result