Compiler warnings.

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

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;