diff options
| author | Michael Schroeder <mls@suse.de> | 2014-03-24 19:16:21 +0100 |
|---|---|---|
| committer | Michael Schroeder <mls@suse.de> | 2014-03-24 19:16:21 +0100 |
| commit | e2331156dd25864d53862e7077de65ad08238e54 (patch) | |
| tree | 7d270dd6c76a0bd42e9fc6739a2a54ef46254100 | |
| parent | 1c1cd3cd70b42fa97022b5817f6f051e15e6b148 (diff) | |
| download | libsolv-e2331156dd25864d53862e7077de65ad08238e54.tar.gz libsolv-e2331156dd25864d53862e7077de65ad08238e54.tar.bz2 libsolv-e2331156dd25864d53862e7077de65ad08238e54.zip | |
deal correctly with rules that contain the system solvable
| -rw-r--r-- | src/solver.c | 2 |
1 files changed, 1 insertions, 1 deletions
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); |