diff options
Diffstat (limited to 'src/base/io/ioReadEdif.c')
| -rw-r--r-- | src/base/io/ioReadEdif.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/io/ioReadEdif.c b/src/base/io/ioReadEdif.c index f100a45f..3bdf2567 100644 --- a/src/base/io/ioReadEdif.c +++ b/src/base/io/ioReadEdif.c @@ -181,7 +181,7 @@ Abc_Ntk_t * Io_ReadEdifNetwork( Extra_FileReader_t * p ) else if ( strcmp( vTokens->pArray[0], "design" ) == 0 ) { free( pNtk->pName ); - pNtk->pName = util_strsav( vTokens->pArray[3] ); + pNtk->pName = Extra_UtilStrsav( vTokens->pArray[3] ); break; } } |