diff options
| author | DongHun Kwak <dh0128.kwak@samsung.com> | 2016-10-27 14:54:23 +0900 |
|---|---|---|
| committer | DongHun Kwak <dh0128.kwak@samsung.com> | 2016-10-27 14:54:24 +0900 |
| commit | 1a93853889c819ac2d3c8e83e856f4775e664b00 (patch) | |
| tree | 283fb5892b7e064fb16c1f192bc61c86110f31c2 /src/problems.c | |
| parent | 8a7ffe4fc2b44b84fb045f80c1a016b3f200aa8b (diff) | |
| download | libsolv-1a93853889c819ac2d3c8e83e856f4775e664b00.tar.gz libsolv-1a93853889c819ac2d3c8e83e856f4775e664b00.tar.bz2 libsolv-1a93853889c819ac2d3c8e83e856f4775e664b00.zip | |
Imported Upstream version 0.6.11upstream/0.6.11
Change-Id: Ia7fcc570c551205421c68cc6feb2ecfd3c97e149
Signed-off-by: DongHun Kwak <dh0128.kwak@samsung.com>
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) { |