From e2331156dd25864d53862e7077de65ad08238e54 Mon Sep 17 00:00:00 2001
From: Michael Schroeder <mls@suse.de>
Date: Mon, 24 Mar 2014 19:16:21 +0100
Subject: [PATCH] deal correctly with rules that contain the system solvable

---
 src/solver.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
-- 
2.7.4