From ed1d7428f70496fa23be4e94d69103b1038f6027 Mon Sep 17 00:00:00 2001
From: Michael Schroeder <mls@suse.de>
Date: Wed, 10 Apr 2024 10:45:07 +0200
Subject: [PATCH] Revert accidental change when sorting the decicions

This reverts a wrong change from commit 29ebc283f819dc4c24534fa50a62931e262a5c32
---
 src/decision.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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