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 d66edf1beeb686c5895485b2cefd707f552bee88..ec9da99c2f6f8878934ffc8932be0120d2718e56 100644 (file)
--- 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);