diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/solver.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/solver.c b/src/solver.c index 98d8620..538b786 100644 --- a/src/solver.c +++ b/src/solver.c @@ -2660,6 +2660,12 @@ solver_run_sat(Solver *solv, int disablerules, int doweak) if (level < olevel) break; } + if (p < solv->installed->end) + { + if (level == 0) + break; + continue; /* back to main loop */ + } } if (solv->installed && solv->cleandepsmap.size) |