diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-03 17:53:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-03 17:53:03 -0700 |
| commit | 0ca8a245da0c1dd73d5309e31c2a972abdbf9d96 (patch) | |
| tree | 15f7bbdc450fffe04acc155e102cfd4b529fc35c /src/aig/gia/giaMini.c | |
| parent | fcd377405a67bdeb673126f637eed31b574dd75f (diff) | |
| download | abc-0ca8a245da0c1dd73d5309e31c2a972abdbf9d96.tar.gz abc-0ca8a245da0c1dd73d5309e31c2a972abdbf9d96.tar.bz2 abc-0ca8a245da0c1dd73d5309e31c2a972abdbf9d96.zip | |
Reading/writing MiniAIG and several minor changes.
Diffstat (limited to 'src/aig/gia/giaMini.c')
| -rw-r--r-- | src/aig/gia/giaMini.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c index f21d0e30..442be57c 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; } |