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 /src/aig/miniaig/abcapis.h | |
| parent | a8c85d79e7afb7baf982a9660bd661b8f93f65e5 (diff) | |
| download | abc-b259a62d4021f3010ef89df4f553b19253e48353.tar.gz abc-b259a62d4021f3010ef89df4f553b19253e48353.tar.bz2 abc-b259a62d4021f3010ef89df4f553b19253e48353.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig/miniaig/abcapis.h')
| -rw-r--r-- | src/aig/miniaig/abcapis.h | 2 |
1 files changed, 1 insertions, 1 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 |