From 5767830b45bf963de12ecd2e19dfadb4af19a72d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 17 Apr 2011 22:48:51 -0700 Subject: Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numbers (bug fix). --- src/aig/gia/giaAiger.c | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'src/aig/gia') 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 -- cgit v1.2.3