diff options
| author | Julian Andres Klode <jak@debian.org> | 2025-05-25 13:48:14 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2025-05-26 12:08:29 +0200 |
| commit | b3acf5ffb28b26f7766cf4eac9b9553a3f118bff (patch) | |
| tree | 17b44602139c389a49913b8c9686206f76e4ff10 /apt-pkg/solver3.h | |
| parent | 822c979d5e010e24e513875b608d1f68daaeced4 (diff) | |
solver3: If no choice was made nothing to invert
We sometimes enqueue no choice as the choice, specifically when
an optional clause became unsat as we need to reenqueue it on
undo.
But of course, this breaks undoing stuff because now it tries to
insert !root and then solver breaks.
Diffstat (limited to 'apt-pkg/solver3.h')
0 files changed, 0 insertions, 0 deletions