diff options
Diffstat (limited to 'src/aig/fra/fraSim.c')
| -rw-r--r-- | src/aig/fra/fraSim.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/fra/fraSim.c b/src/aig/fra/fraSim.c index 3e8f2da1..1ad2d4f7 100644 --- a/src/aig/fra/fraSim.c +++ b/src/aig/fra/fraSim.c @@ -685,7 +685,7 @@ void Fra_SmlSimulate( Fra_Man_t * p, int fInit ) Fra_SmlSimulateOne( p->pSml ); if ( p->pPars->fProve && Fra_SmlCheckOutput(p) ) return; - Fra_ClassesPrepare( p->pCla, p->pPars->fLatchCorr ); + Fra_ClassesPrepare( p->pCla, p->pPars->fLatchCorr, 0 ); // Fra_ClassesPrint( p->pCla, 0 ); if ( fVerbose ) printf( "Starting classes = %5d. Lits = %6d.\n", Vec_PtrSize(p->pCla->vClasses), Fra_ClassesCountLits(p->pCla) ); |