diff options
Diffstat (limited to 'src/aig/ivy/ivyMem.c')
-rw-r--r-- | src/aig/ivy/ivyMem.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/aig/ivy/ivyMem.c b/src/aig/ivy/ivyMem.c index 4ea6d891..d5e6e545 100644 --- a/src/aig/ivy/ivyMem.c +++ b/src/aig/ivy/ivyMem.c @@ -20,6 +20,9 @@ #include "ivy.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -64,7 +67,7 @@ void Ivy_ManStopMemory( Ivy_Man_t * p ) { void * pMemory; int i; - Vec_PtrForEachEntry( p->vChunks, pMemory, i ) + Vec_PtrForEachEntry( void *, p->vChunks, pMemory, i ) ABC_FREE( pMemory ); Vec_PtrFree( p->vChunks ); Vec_PtrFree( p->vPages ); @@ -114,3 +117,5 @@ void Ivy_ManAddMemory( Ivy_Man_t * p ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |