Commit 97b488e7 by Alan Mishchenko

Fixed memory leak in the AIGER reader.

parent 73702835
......@@ -843,6 +843,7 @@ Gia_Man_t * Gia_ReadAiger( char * pFileName, int fCheck )
ABC_FREE( pContents );
if ( pNew )
{
ABC_FREE( pNew->pName );
pName = Gia_FileNameGeneric( pFileName );
pNew->pName = Gia_UtilStrsav( pName );
// pNew->pSpec = Ioa_UtilStrsav( pFileName );
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment