summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/base/cba/cbaPrs.h1
-rw-r--r--src/base/cba/cbaReadBlif.c1
-rw-r--r--src/base/cba/cbaReadVer.c2
3 files changed, 2 insertions, 2 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 )
diff --git a/src/base/cba/cbaReadBlif.c b/src/base/cba/cbaReadBlif.c
index 7290f25e..ce0bf3ea 100644
--- a/src/base/cba/cbaReadBlif.c
+++ b/src/base/cba/cbaReadBlif.c
@@ -18,6 +18,7 @@
***********************************************************************/
+#include "cba.h"
#include "cbaPrs.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/base/cba/cbaReadVer.c b/src/base/cba/cbaReadVer.c
index a05d2fc4..bc5f5c95 100644
--- a/src/base/cba/cbaReadVer.c
+++ b/src/base/cba/cbaReadVer.c
@@ -418,7 +418,7 @@ static inline int Prs_ManReadSignal( Prs_Man_t * p )
return Abc_Var2Lit2( Item, CBA_PRS_NAME );
}
}
-static inline int Prs_ManReadSignalList( Prs_Man_t * p, Vec_Int_t * vTemp, char LastSymb, int fAddForm )
+int Prs_ManReadSignalList( Prs_Man_t * p, Vec_Int_t * vTemp, char LastSymb, int fAddForm )
{
Vec_IntClear( vTemp );
while ( 1 )