From 97b488e72e6e9c86c8a561ba67a2dc03d2ad77c8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 13 Jul 2011 10:50:36 +0700
Subject: [PATCH] Fixed memory leak in the AIGER reader.

---
 src/aig/gia/giaAiger.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 2b9eea45f..3940d324c 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -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 );