diff --git a/src/aig/miniaig/abcapis.h b/src/aig/miniaig/abcapis.h
index 8615d2832..ccece1d08 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 fa1a304d8..880fb3097 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;