diff options
Diffstat (limited to 'src/opt/ret/retInit.c')
| -rw-r--r-- | src/opt/ret/retInit.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/ret/retInit.c b/src/opt/ret/retInit.c index b53ceeae..156df0dc 100644 --- a/src/opt/ret/retInit.c +++ b/src/opt/ret/retInit.c @@ -57,7 +57,7 @@ Vec_Int_t * Abc_NtkRetimeInitialValues( Abc_Ntk_t * pNtkCone, Vec_Int_t * vValue printf( "The miter for initial state computation has %d AIG nodes. ", Abc_NtkNodeNum(pNtkMiter) ); // solve the miter clk = clock(); - RetValue = Abc_NtkMiterSat( pNtkMiter, (sint64)500000, (sint64)50000000, 0, 0, NULL, NULL ); + RetValue = Abc_NtkMiterSat( pNtkMiter, (sint64)500000, (sint64)50000000, 0, NULL, NULL ); if ( fVerbose ) { PRT( "SAT solving time", clock() - clk ); } // analyze the result |