diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-20 20:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-20 20:01:00 -0700 |
| commit | 7ec48bc20de6209f311715f4b1479cb2e0a4d906 (patch) | |
| tree | 00ee497c28001a646f98407115f5541fb49adf83 /src/aig/ntl/ntlReadBlif.c | |
| parent | 7ff4c2b2719a78ba7d1ddcfdf9356affa291e876 (diff) | |
| download | abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.tar.gz abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.tar.bz2 abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.zip | |
Version abc80420_2
Diffstat (limited to 'src/aig/ntl/ntlReadBlif.c')
| -rw-r--r-- | src/aig/ntl/ntlReadBlif.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/ntl/ntlReadBlif.c b/src/aig/ntl/ntlReadBlif.c index 23bb6d76..13050047 100644 --- a/src/aig/ntl/ntlReadBlif.c +++ b/src/aig/ntl/ntlReadBlif.c @@ -131,6 +131,8 @@ Ntl_Man_t * Ioa_ReadBlif( char * pFileName, int fCheck ) } // set the design name p->pDesign = Ntl_ManAlloc( pFileName ); + p->pDesign->pName = Ntl_ManStoreFileName( p->pDesign, pFileName ); + p->pDesign->pSpec = Ntl_ManStoreName( p->pDesign, pFileName ); // prepare the file for parsing Ioa_ReadReadPreparse( p ); // parse interfaces of each network |