diff options
Diffstat (limited to 'src/problems.c')
| -rw-r--r-- | src/problems.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/problems.c b/src/problems.c index 528aa2e..b57d980 100644 --- a/src/problems.c +++ b/src/problems.c @@ -152,6 +152,8 @@ enableweakrules(Solver *solv) int i; Rule *r; + if (!solv->weakrulemap.size) + return; for (i = 1, r = solv->rules + i; i < solv->learntrules; i++, r++) { if (r->d >= 0) /* already enabled? */ @@ -227,9 +229,7 @@ refine_suggestion(Solver *solv, Id *problem, Id sug, Queue *refined, int essenti int njob, nfeature, nupdate, pass; queue_empty(&solv->problems); solver_reset(solv); - - if (!solv->problems.count) - solver_run_sat(solv, 0, 0); + solver_run_sat(solv, 0, 0); if (!solv->problems.count) { |