From: Michael Schroeder <mls@suse.de>
Date: Mon, 24 Mar 2014 18:16:21 +0000 (+0100)
Subject: deal correctly with rules that contain the system solvable
X-Git-Tag: upstream/0.6.4~62
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=e2331156dd25864d53862e7077de65ad08238e54;p=platform%2Fupstream%2Flibsolv.git

deal correctly with rules that contain the system solvable
---

diff --git a/src/solver.c b/src/solver.c
index 538b786..3d348be 100644
--- 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);