diff options
Diffstat (limited to 'src/aig/hop/hopMan.c')
| -rw-r--r-- | src/aig/hop/hopMan.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/aig/hop/hopMan.c b/src/aig/hop/hopMan.c index bf38a780..84d987bb 100644 --- a/src/aig/hop/hopMan.c +++ b/src/aig/hop/hopMan.c @@ -20,6 +20,9 @@ #include "hop.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -127,7 +130,7 @@ int Hop_ManCleanup( Hop_Man_t * p ) if ( Hop_ObjRefs(pNode) == 0 ) Vec_PtrPush( vObjs, pNode ); // recursively remove dangling nodes - Vec_PtrForEachEntry( vObjs, pNode, i ) + Vec_PtrForEachEntry( Hop_Obj_t *, vObjs, pNode, i ) Hop_ObjDelete_rec( p, pNode ); Vec_PtrFree( vObjs ); return nNodesOld - Hop_ManNodeNum(p); @@ -162,3 +165,5 @@ void Hop_ManPrintStats( Hop_Man_t * p ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |