diff options
Diffstat (limited to 'src/base/cmd/cmdAuto.c')
| -rw-r--r-- | src/base/cmd/cmdAuto.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/cmd/cmdAuto.c b/src/base/cmd/cmdAuto.c index 7d0cc8af..35f155fa 100644 --- a/src/base/cmd/cmdAuto.c +++ b/src/base/cmd/cmdAuto.c @@ -67,8 +67,8 @@ extern int Gia_ManCallSatokoOne( Gia_Man_t * p, satoko_opts_t * opts, int iOutpu void Cmd_RunAutoTunerPrintOptions( satoko_opts_t * pOpts ) { printf( "-C %d ", (int)pOpts->conf_limit ); - printf( "-V %.3f ", pOpts->var_decay ); - printf( "-W %.3f ", pOpts->clause_decay ); + printf( "-V %.3f ", (float)pOpts->var_decay ); + printf( "-W %.3f ", (float)pOpts->clause_decay ); if ( pOpts->verbose ) printf( "-v" ); printf( "\n" ); |