diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-16 07:28:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-16 07:28:20 -0700 |
| commit | abdf39711f8c175840da90fd8531183c61691f68 (patch) | |
| tree | 05787dea6fe366beec5c8e8b90d771963a3ee3f3 /src/base/wlc | |
| parent | 1343b8a80c7c59c7cc2b14490151de4e5d883734 (diff) | |
| download | abc-abdf39711f8c175840da90fd8531183c61691f68.tar.gz abc-abdf39711f8c175840da90fd8531183c61691f68.tar.bz2 abc-abdf39711f8c175840da90fd8531183c61691f68.zip | |
Several corner-case bugs in %read, &cec, and st.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcReadVer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c index 824cf80b..a44c4b6c 100644 --- a/src/base/wlc/wlcReadVer.c +++ b/src/base/wlc/wlcReadVer.c @@ -1265,10 +1265,10 @@ Wlc_Ntk_t * Wlc_ReadVer( char * pFileName ) // derive topological order pNtk = Wlc_NtkDupDfs( p->pNtk ); Wlc_NtkTransferNames( pNtk, p->pNtk ); + pNtk->pSpec = Abc_UtilStrsav( pFileName ); finish: Wlc_PrsPrintErrorMessage( p ); Wlc_PrsStop( p ); - pNtk->pSpec = Abc_UtilStrsav( pFileName ); return pNtk; } |