diff options
Diffstat (limited to 'src/temp/player/playerAbc.c')
-rw-r--r-- | src/temp/player/playerAbc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/temp/player/playerAbc.c b/src/temp/player/playerAbc.c index 8b045d94..8e3823d5 100644 --- a/src/temp/player/playerAbc.c +++ b/src/temp/player/playerAbc.c @@ -45,7 +45,7 @@ static Abc_Ntk_t * Ivy_ManToAbc( Abc_Ntk_t * pNtkOld, Ivy_Man_t * p ); SeeAlso [] ***********************************************************************/ -void * Abc_NtkPlayer( void * pNtk, int nLutMax, int nPlaMax, int fVerbose ) +void * Abc_NtkPlayer( void * pNtk, int nLutMax, int nPlaMax, int RankCost, int fFastMode, int fVerbose ) { int fUseRewriting = 1; Ivy_Man_t * pMan, * pManExt; |