- stay in weakmap boundaries

diff --git a/src/solver.c b/src/solver.c
index bbc598fd79765cdcc8e54e8d215327b117b12738..165e39e052ac1aa59a13aa2eb5b13a50ca212aa6 100644 (file)
--- 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;