deal correctly with rules that contain the system solvable

diff --git a/src/solver.c b/src/solver.c
index 538b786..3d348be 100644 (file)
--- a/src/solver.c
+++ b/src/solver.c
@@ -1133,7 +1133,7 @@ analyze_unsolvable(Solver *solv, Rule *cr, int disablerules)
     {
       v = solv->decisionq.elements[--idx];
       vv = v > 0 ? v : -v;
-      if (!MAPTST(&seen, vv))
+      if (!MAPTST(&seen, vv) || vv == SYSTEMSOLVABLE)
        continue;
       why = solv->decisionq_why.elements[idx];
       assert(why > 0);