diff options
Diffstat (limited to 'src/base/abci/abcMap.c')
| -rw-r--r-- | src/base/abci/abcMap.c | 3 |
1 files changed, 2 insertions, 1 deletions
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; |