solver_reset no longer creates problems

diff --git a/src/problems.c b/src/problems.c
index cedc172bff6e606e81eabd550c7e75ecc9b4d52b..b57d980a4873ecbb75e9110aae9c79affad24a6d 100644 (file)
--- 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)
        {