From cb845d4488af31b44e6913fff57c1c0b7bc52f55 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 30 Sep 2013 13:39:14 -0700 Subject: Changing default values. --- src/base/abci/abcFx.c | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/src/base/abci/abcFx.c b/src/base/abci/abcFx.c index f54a9cd2..dd1128e9 100644 --- a/src/base/abci/abcFx.c +++ b/src/base/abci/abcFx.c @@ -412,13 +412,14 @@ void Fx_ManComputeLevel( Fx_Man_t * p ) p->vLevels = Vec_IntStart( p->nVars ); Vec_WecForEachLevel( p->vCubes, vCube, i ) { - Vec_IntUpdateEntry( p->vLevels, Vec_IntEntry(vCube, 0), Fx_ManComputeLevelCube(p, vCube) ); - if ( iVar == Vec_IntEntry(vCube, 0) ) - continue; - // add the number of cubes - Vec_IntAddToEntry( p->vLevels, iVar, i - iFirst ); - iVar = Vec_IntEntry(vCube, 0); - iFirst = i; + if ( iVar != Vec_IntEntry(vCube, 0) ) + { + // add the number of cubes + Vec_IntAddToEntry( p->vLevels, iVar, i - iFirst ); + iVar = Vec_IntEntry(vCube, 0); + iFirst = i; + } + Vec_IntUpdateEntry( p->vLevels, iVar, Fx_ManComputeLevelCube(p, vCube) ); } } -- cgit v1.2.3