diff options
Diffstat (limited to 'src/base/cba/cbaPrs.h')
| -rw-r--r-- | src/base/cba/cbaPrs.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/base/cba/cbaPrs.h b/src/base/cba/cbaPrs.h index 1463d98f..93f60913 100644 --- a/src/base/cba/cbaPrs.h +++ b/src/base/cba/cbaPrs.h @@ -284,7 +284,6 @@ static inline void Prs_NtkFree( Prs_Ntk_t * p ) static inline void Prs_ManFree( Prs_Man_t * p ) { - extern void Prs_ManVecFree( Vec_Ptr_t * vPrs ); if ( p->pStrs ) Abc_NamDeref( p->pStrs ); if ( p->vNtks ) |