diff options
Diffstat (limited to 'src/proof/llb/llb1Sched.c')
| -rw-r--r-- | src/proof/llb/llb1Sched.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/llb/llb1Sched.c b/src/proof/llb/llb1Sched.c index 6bdae42e..51de973a 100644 --- a/src/proof/llb/llb1Sched.c +++ b/src/proof/llb/llb1Sched.c @@ -80,7 +80,7 @@ void Llb_MtrSwapColumns( Llb_Mtr_t * p, int iCol1, int iCol2 ) int Llb_MtrFindBestColumn( Llb_Mtr_t * p, int iGrpStart ) { int Cost, Cost2, CostBest = ABC_INFINITY, Cost2Best = ABC_INFINITY; - int WeightCur, WeightBest = -ABC_INFINITY, iGrp, iGrpBest = -1; + int WeightCur, WeightBest = -ABC_INFINITY, iGrp = -1, iGrpBest = -1; int k, c, iVar, Counter; // find partition that reduces partial product as much as possible for ( iVar = 0; iVar < p->nRows - p->nFfs; iVar++ ) |