From: Michael Schroeder <mls@suse.de>
Date: Wed, 10 Apr 2024 08:45:07 +0000 (+0200)
Subject: Revert accidental change when sorting the decicions
X-Git-Tag: 0.7.29~7
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ed1d7428f70496fa23be4e94d69103b1038f6027;p=thirdparty%2Flibsolv.git

Revert accidental change when sorting the decicions

This reverts a wrong change from commit 29ebc283f819dc4c24534fa50a62931e262a5c32
---

diff --git a/src/decision.c b/src/decision.c
index d66edf1b..ec9da99c 100644
--- a/src/decision.c
+++ b/src/decision.c
@@ -489,7 +489,7 @@ solver_get_proof(Solver *solv, Id id, int flags, Queue *q)
       /* sort premise block */
       if (i > 8)
 	solv_sort(q->elements, i / 8, 8 * sizeof(Id), decisionsort_cmp, solv);
-      sort_unit_decisions(solv, q, i, q->count - i, &seen);
+      sort_unit_decisions(solv, q, i, q->count - 8, &seen);
     }
 
   map_free(&seen);