diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c
index f21d0e30e..442be57ce 100644
--- a/src/aig/gia/giaMini.c
+++ b/src/aig/gia/giaMini.c
@@ -168,6 +168,8 @@ Gia_Man_t * Gia_ManReadMiniAig( char * pFileName )
 {
     Mini_Aig_t * p = Mini_AigLoad( pFileName );
     Gia_Man_t * pGia = Gia_ManFromMiniAig( p );
+    ABC_FREE( pGia->pName );
+    pGia->pName = Extra_FileNameGeneric( pFileName ); 
     Mini_AigStop( p );
     return pGia;
 }