From 0871bffae307e0553e0c5186336189e8b55cf6a6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 15 Feb 2009 08:01:00 -0800
Subject: Version abc90215

---
 src/map/amap/amapMan.c | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/map/amap/amapMan.c')

diff --git a/src/map/amap/amapMan.c b/src/map/amap/amapMan.c
index 521b4ffd..a1a66869 100644
--- a/src/map/amap/amapMan.c
+++ b/src/map/amap/amapMan.c
@@ -43,7 +43,7 @@ Amap_Man_t * Amap_ManStart( int nNodes )
 {
     Amap_Man_t * p;
     // start the manager
-    p = ALLOC( Amap_Man_t, 1 );
+    p = ABC_ALLOC( Amap_Man_t, 1 );
     memset( p, 0, sizeof(Amap_Man_t) );
     p->fEpsilonInternal = (float)0.01;
     // allocate arrays for nodes
@@ -86,10 +86,10 @@ void Amap_ManStop( Amap_Man_t * p )
     Aig_MmFlexStop( p->pMemCuts, 0 );
     Aig_MmFlexStop( p->pMemCutBest, 0 );
     Aig_MmFlexStop( p->pMemTemp, 0 );
-    FREE( p->pMatsTemp );
-    FREE( p->ppCutsTemp );
-    FREE( p->pCutsPi );
-    free( p );
+    ABC_FREE( p->pMatsTemp );
+    ABC_FREE( p->ppCutsTemp );
+    ABC_FREE( p->pCutsPi );
+    ABC_FREE( p );
 }
 
 ////////////////////////////////////////////////////////////////////////
-- 
cgit v1.2.3