diff options
Diffstat (limited to 'src/solvers/h48/solve.h')
| -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 | } |
