From: Michael Schroeder <mls@suse.de>
Date: Thu, 29 Jan 2009 16:05:01 +0000 (+0100)
Subject: - stay in weakmap boundaries
X-Git-Tag: BASE-SuSE-Code-12_1-Branch~308^2~9
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2665441ff8f764d8fc3c409bab2a29f8af45d7a3;p=thirdparty%2Flibsolv.git

- stay in weakmap boundaries
---

diff --git a/src/solver.c b/src/solver.c
index bbc598fd..165e39e0 100644
--- a/src/solver.c
+++ b/src/solver.c
@@ -766,7 +766,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;