Version abc90215

1 files changed, 6 insertions, 6 deletions

diff --git a/src/sat/fraig/fraigFeed.c b/src/sat/fraig/fraigFeed.c
index e1e8d12c..7d99d146 100644
--- a/src/sat/fraig/fraigFeed.c
+++ b/src/sat/fraig/fraigFeed.c
@@ -391,7 +391,7 @@ void Fraig_FeedBackCovering( Fraig_Man_t * p, Msat_IntVec_t * vPats )
     vColumns = Fraig_FeedBackCoveringStart( p );
     // collect the number of 1s in each simulation vector
     nOnesTotal = 0;
-    pHits = ALLOC( int, vColumns->nSize );
+    pHits = ABC_ALLOC( int, vColumns->nSize );
     for ( i = 0; i < vColumns->nSize; i++ )
     {
         pSims = (unsigned *)vColumns->pArray[i];
@@ -412,7 +412,7 @@ void Fraig_FeedBackCovering( Fraig_Man_t * p, Msat_IntVec_t * vPats )
         Msat_IntVecPush( vPats, iPat );
     }
 
-    // free the set of columns
+    // ABC_FREE the set of columns
     for ( i = 0; i < vColumns->nSize; i++ )
         Fraig_MemFixedEntryRecycle( p->mmSims, (char *)vColumns->pArray[i] );
 
@@ -427,7 +427,7 @@ void Fraig_FeedBackCovering( Fraig_Man_t * p, Msat_IntVec_t * vPats )
         printf( "\n" );
     }
     Fraig_NodeVecFree( vColumns );
-    free( pHits );
+    ABC_FREE( pHits );
 }
 
 
@@ -736,7 +736,7 @@ void Fraig_ReallocateSimulationInfo( Fraig_Man_t * p )
         // signatures remain without changes
     }
 
-    // replace the manager to free up some memory
+    // replace the manager to ABC_FREE up some memory
     Fraig_MemFixedStop( p->mmSims, 0 );
     p->mmSims = mmSimsNew;
 
@@ -783,7 +783,7 @@ void Fraig_ReallocateSimulationInfo( Fraig_Man_t * p )
 int * Fraig_ManAllocCounterExample( Fraig_Man_t * p )
 {
     int * pModel;
-    pModel = ALLOC( int, p->vInputs->nSize );
+    pModel = ABC_ALLOC( int, p->vInputs->nSize );
     memset( pModel, 0, sizeof(int) * p->vInputs->nSize );
     return pModel;
 }
@@ -896,7 +896,7 @@ printf( "\n" );
         assert( Fraig_ManSimulateBitNode( p, pNode, pModel ) );
         return pModel;
     }
-    FREE( pModel );
+    ABC_FREE( pModel );
     return NULL;
 }