diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-05-25 12:38:39 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-05-25 12:38:39 +0200 |
| commit | 87852933851674cacbc8b2295d046831db27ab81 (patch) | |
| tree | e67a8b8d3ff9d41c927887483f62882da6258fb6 /src/solvers | |
| parent | 2852d47c0e7b0da72259ddcec693270d52110578 (diff) | |
| download | nissy-core-87852933851674cacbc8b2295d046831db27ab81.tar.gz nissy-core-87852933851674cacbc8b2295d046831db27ab81.zip | |
Cleanup
Diffstat (limited to 'src/solvers')
| -rw-r--r-- | src/solvers/h48/solve.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h index 7210478..8716bb0 100644 --- a/src/solvers/h48/solve.h +++ b/src/solvers/h48/solve.h | |||
| @@ -567,7 +567,8 @@ solve_h48( | |||
| 567 | 567 | ||
| 568 | if (poll_status != NULL) { | 568 | if (poll_status != NULL) { |
| 569 | status = poll_status(poll_status_data); | 569 | status = poll_status(poll_status_data); |
| 570 | if (status == NISSY_STATUS_PAUSE && fp) { | 570 | if (status == NISSY_STATUS_PAUSE && fp) |
| 571 | { | ||
| 571 | LOG("[H48 solve] Paused\n"); | 572 | LOG("[H48 solve] Paused\n"); |
| 572 | fp = false; | 573 | fp = false; |
| 573 | } | 574 | } |