From: Michael Schroeder <mls@suse.de>
Date: Wed, 27 May 2015 09:39:19 +0000 (+0200)
Subject: solver_reset no longer creates problems
X-Git-Tag: 0.6.11~9
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=27849ebd260638c63a767c383b1b29811fd60403;p=thirdparty%2Flibsolv.git

solver_reset no longer creates problems
---

diff --git a/src/problems.c b/src/problems.c
index cedc172b..b57d980a 100644
--- a/src/problems.c
+++ b/src/problems.c
@@ -229,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)
 	{