diff options
Diffstat (limited to 'src/map/amap/amapLiberty.c')
| -rw-r--r-- | src/map/amap/amapLiberty.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/amap/amapLiberty.c b/src/map/amap/amapLiberty.c index 8006d61d..9a213d2a 100644 --- a/src/map/amap/amapLiberty.c +++ b/src/map/amap/amapLiberty.c @@ -843,7 +843,7 @@ Amap_Tree_t * Amap_LibertyStart( char * pFileName ) fclose( pFile ); p->pContents[p->nContents] = 0; // other - p->pFileName = Aig_UtilStrsav( pFileName ); + p->pFileName = Abc_UtilStrsav( pFileName ); p->nItermAlloc = 10 + Amap_LibertyCountItems( p->pContents, p->pContents+p->nContents ); p->pItems = ABC_CALLOC( Amap_Item_t, p->nItermAlloc ); p->nItems = 0; |