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 d340b7ec3e6be8c7ccc3946c4fe757d64facc532..3dce8d0bcbd5d3484d18a05542be481ba3896297 100644 (file)
--- 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;