From 14c01eaccab87d14d1bd0eaa3fc491026349665e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 18 Dec 2007 08:01:00 -0800 Subject: Version abc71218 --- src/aig/fra/fraSim.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/fra/fraSim.c') 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) ); -- cgit v1.2.3