diff options
Diffstat (limited to 'src')
| -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; |