deal correctly with rules that contain the system solvable
authorMichael Schroeder <mls@suse.de>
Mon, 24 Mar 2014 18:16:21 +0000 (19:16 +0100)
committerMichael Schroeder <mls@suse.de>
Mon, 24 Mar 2014 18:16:21 +0000 (19:16 +0100)
src/solver.c

index 538b786..3d348be 100644 (file)
@@ -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);