From: Michael Schroeder <mls@suse.de>
Date: Thu, 26 Feb 2015 17:13:26 +0000 (+0100)
Subject: Allow auto-minimization with the same level
X-Git-Tag: 0.6.9~6
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2740a0bfe190156ecd9de2a06c36b4f01bb9296c;p=thirdparty%2Flibsolv.git

Allow auto-minimization with the same level

This is for some odd case where one of the possible packages
requires the other one.
---

diff --git a/src/solver.c b/src/solver.c
index d340b7ec..3dce8d0b 100644
--- a/src/solver.c
+++ b/src/solver.c
@@ -2876,7 +2876,7 @@ solver_run_sat(Solver *solv, int disablerules, int doweak)
 		  p = solv->branches.elements[i];
 		  if (p <= 0)
 		    continue;
-		  if (solv->decisionmap[p] > l + 1)
+		  if (solv->decisionmap[p] > l)
 		    {
 		      lasti = i;
 		      lastiend = endi;