diff options
Diffstat (limited to 'src/opt/dec/decMan.c')
-rw-r--r-- | src/opt/dec/decMan.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/opt/dec/decMan.c b/src/opt/dec/decMan.c index 3d65ffc5..63a96966 100644 --- a/src/opt/dec/decMan.c +++ b/src/opt/dec/decMan.c @@ -43,13 +43,13 @@ Dec_Man_t * Dec_ManStart() { Dec_Man_t * p; // int clk = clock(); - p = ALLOC( Dec_Man_t, 1 ); + p = ABC_ALLOC( Dec_Man_t, 1 ); p->pMvcMem = Mvc_ManagerStart(); p->vCubes = Vec_IntAlloc( 8 ); p->vLits = Vec_IntAlloc( 8 ); // canonical forms, phases, perms Extra_Truth4VarNPN( &p->puCanons, &p->pPhases, &p->pPerms, &p->pMap ); -//PRT( "NPN classes precomputation time", clock() - clk ); +//ABC_PRT( "NPN classes precomputation time", clock() - clk ); return p; } @@ -69,11 +69,11 @@ void Dec_ManStop( Dec_Man_t * p ) Mvc_ManagerFree( p->pMvcMem ); Vec_IntFree( p->vCubes ); Vec_IntFree( p->vLits ); - free( p->puCanons ); - free( p->pPhases ); - free( p->pPerms ); - free( p->pMap ); - free( p ); + ABC_FREE( p->puCanons ); + ABC_FREE( p->pPhases ); + ABC_FREE( p->pPerms ); + ABC_FREE( p->pMap ); + ABC_FREE( p ); } //////////////////////////////////////////////////////////////////////// |