diff options
| author | Julian Andres Klode <jak@debian.org> | 2026-01-31 21:04:02 +0100 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2026-02-10 19:59:03 +0000 |
| commit | 5cbf75ac2e4845b9ed1026f1d11af129e54aaf5b (patch) | |
| tree | 3d86829fb8ae2d6fd0bf3ada009cb7723fbe1a0c /cmdline | |
| parent | 60a7d1c3be8f6c7eb697c7d5160fc560097cc70e (diff) | |
solver3: Remove dead code
It used to be that we reached conflict clauses from the Solve()
loop, however that is no longer the case, so remove the else
branch, and turn the `else if (item.clause->optional)` into
a new `else` with an `assert(item.clause->optional)`.
Diffstat (limited to 'cmdline')
0 files changed, 0 insertions, 0 deletions