C++ compatibility: fix incompatible parameter list

This commit is contained in:
Baruch Sterin 2017-11-23 23:32:43 -08:00
parent 77ca1b7470
commit d438d9c1b6
1 changed files with 1 additions and 1 deletions

View File

@ -48,7 +48,7 @@ int Gia_ManDeriveMatches( Vec_Ptr_t ** pvNames, Vec_Wrd_t ** pvTruths, Vec_Int_t
{
return 0;
}
Gia_Man_t * Gia_ManIiffTest( char * pFileName, Gia_Man_t * pGia, int nLutSize, int nNumCuts, int fUseGates, int fUseCells, int fVerbose )
Gia_Man_t * Gia_ManIiffTest( char * pFileName, Gia_Man_t * pGia, int nLutSize, int nNumCuts, int fUseGates, int fUseCells, int fUseLuts, int fVerbose )
{
return NULL;
}