diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-30 13:52:26 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-30 13:52:26 -0400 |
| commit | b259a62d4021f3010ef89df4f553b19253e48353 (patch) | |
| tree | 4ec86fa5a849e36f543c36abea0e2f00c9bbd709 | |
| parent | a8c85d79e7afb7baf982a9660bd661b8f93f65e5 (diff) | |
| download | abc-b259a62d4021f3010ef89df4f553b19253e48353.tar.gz abc-b259a62d4021f3010ef89df4f553b19253e48353.tar.bz2 abc-b259a62d4021f3010ef89df4f553b19253e48353.zip | |
Compiler warnings.
| -rw-r--r-- | src/aig/miniaig/abcapis.h | 2 | ||||
| -rw-r--r-- | src/base/abci/abcMap.c | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/aig/miniaig/abcapis.h b/src/aig/miniaig/abcapis.h index 8615d283..ccece1d0 100644 --- a/src/aig/miniaig/abcapis.h +++ b/src/aig/miniaig/abcapis.h @@ -54,7 +54,7 @@ extern void Abc_NtkInputMiniAig( void * pAbc, void * pMiniAig ); extern void * Abc_NtkOutputMiniAig( void * pAbc ); // procedures to return the mapped network -extern int * Abc_NtkOutputMiniMapping( Abc_Frame_t * pAbc ); +extern int * Abc_NtkOutputMiniMapping( void * pAbc ); extern void Abc_NtkPrintMiniMapping( int * pArray ); // procedures to access verifization status and a counter-example diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c index fa1a304d..880fb309 100644 --- a/src/base/abci/abcMap.c +++ b/src/base/abci/abcMap.c @@ -881,8 +881,9 @@ void Abc_NtkPrintMiniMapping( int * pArray ) SeeAlso [] ***********************************************************************/ -int * Abc_NtkOutputMiniMapping( Abc_Frame_t * pAbc ) +int * Abc_NtkOutputMiniMapping( void * pAbc0 ) { + Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0; Abc_Ntk_t * pNtk; Vec_Int_t * vMapping; int * pArray; |