Compiler warnings.

This commit is contained in:
Alan Mishchenko 2015-01-31 20:02:46 -08:00
parent 2c8c0d8736
commit 6ec4680e1b
3 changed files with 2 additions and 2 deletions

View File

@ -284,7 +284,6 @@ static inline void Prs_NtkFree( Prs_Ntk_t * p )
static inline void Prs_ManFree( Prs_Man_t * p ) static inline void Prs_ManFree( Prs_Man_t * p )
{ {
extern void Prs_ManVecFree( Vec_Ptr_t * vPrs );
if ( p->pStrs ) if ( p->pStrs )
Abc_NamDeref( p->pStrs ); Abc_NamDeref( p->pStrs );
if ( p->vNtks ) if ( p->vNtks )

View File

@ -18,6 +18,7 @@
***********************************************************************/ ***********************************************************************/
#include "cba.h"
#include "cbaPrs.h" #include "cbaPrs.h"
ABC_NAMESPACE_IMPL_START ABC_NAMESPACE_IMPL_START

View File

@ -418,7 +418,7 @@ static inline int Prs_ManReadSignal( Prs_Man_t * p )
return Abc_Var2Lit2( Item, CBA_PRS_NAME ); 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 ); Vec_IntClear( vTemp );
while ( 1 ) while ( 1 )