diff options
Diffstat (limited to 'src/sat/satoko/solver_api.c')
| -rw-r--r-- | src/sat/satoko/solver_api.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/satoko/solver_api.c b/src/sat/satoko/solver_api.c index dfd996ca..f30ee12d 100644 --- a/src/sat/satoko/solver_api.c +++ b/src/sat/satoko/solver_api.c @@ -303,7 +303,7 @@ int satoko_solve(solver_t *s) while (status == SATOKO_UNDEC) { status = solver_search(s); - if (solver_check_limits(s) == 0) + if (solver_check_limits(s) == 0 || solver_stop(s)) break; } if (s->opts.verbose) |