diff options
Diffstat (limited to 'src/aig/rwt/rwtMan.c')
| -rw-r--r-- | src/aig/rwt/rwtMan.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/aig/rwt/rwtMan.c b/src/aig/rwt/rwtMan.c index 87074e6e..12caa87f 100644 --- a/src/aig/rwt/rwtMan.c +++ b/src/aig/rwt/rwtMan.c @@ -21,6 +21,9 @@ #include "rwt.h" #include "deco.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -149,7 +152,7 @@ void Rwt_ManStop( Rwt_Man_t * p ) { Rwt_Node_t * pNode; int i, k; - Vec_VecForEachEntry( p->vClasses, pNode, i, k ) + Vec_VecForEachEntry( Rwt_Node_t *, p->vClasses, pNode, i, k ) Dec_GraphFree( (Dec_Graph_t *)pNode->pNext ); } if ( p->vClasses ) Vec_VecFree( p->vClasses ); @@ -356,3 +359,5 @@ void Rwt_Precompute() //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |