diff options
Diffstat (limited to 'src/aig/saig/saigTempor.c')
| -rw-r--r-- | src/aig/saig/saigTempor.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saigTempor.c b/src/aig/saig/saigTempor.c index c8c33680..040df1f9 100644 --- a/src/aig/saig/saigTempor.c +++ b/src/aig/saig/saigTempor.c @@ -222,7 +222,7 @@ Aig_Man_t * Saig_ManTempor( Aig_Man_t * pAig, int nFrames, int TimeOut, int nCon // run BMC2 if ( fUseBmc ) { - RetValue = Saig_BmcPerform( pAig, 0, nFrames, 2000, TimeOut, nConfLimit, 0, fVerbose, 0, &nFramesFinished ); + RetValue = Saig_BmcPerform( pAig, 0, nFrames, 2000, TimeOut, nConfLimit, 0, fVerbose, 0, &nFramesFinished, 0 ); if ( RetValue == 0 ) { Vec_IntFreeP( &vTransSigs ); |