diff options
| -rw-r--r-- | src/aig/gia/giaAiger.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 5674ff8c..7d6f7ad9 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 |