[zypp-commit] <sat-solver> - stay in weakmap boundaries

commit efaada07b66ef501902cc01e50e4202feb3693d9 Author: Michael Schroeder Date: Thu Jan 29 17:05:35 2009 +0100 - stay in weakmap boundaries --- src/solver.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/solver.c b/src/solver.c index a03b26a..74669b5 100644 --- a/src/solver.c +++ b/src/solver.c @@ -726,7 +726,7 @@ makeruledecisions(Solver *solv) r = solv->rules + ri; if (r->d < 0 || r->w2) /* disabled or no assertion */ continue; - if (!MAPTST(&solv->weakrulemap, ri)) /* skip non-weak */ + if (ri >= solv->learntrules || !MAPTST(&solv->weakrulemap, ri)) /* skip non-weak */ continue; v = r->p; vv = v > 0 ? v : -v; -- To unsubscribe, e-mail: zypp-commit+unsubscribe@opensuse.org For additional commands, e-mail: zypp-commit+help@opensuse.org