- delete wrong comment. the learnt rule cannot be added twice

  as it conflicts with the current decision. So it is correct
  to just disable it.

diff --git a/src/solver.c b/src/solver.c
index ec46fd4..5b5fe9f 100644 (file)
--- a/src/solver.c
+++ b/src/solver.c
@@ -637,9 +637,7 @@ makeruledecisions(Solver *solv)
          /* conflict with a learnt rule */
          /* can happen when packages cannot be installed for
            * multiple reasons. */
-          /* we disable the learnt rule for now as an easy workaround */
-          /* (this may cause that a learnt rule gets added multiple
-           * times, which should not harm) */
+          /* we disable the learnt rule in this case */
          disablerule(solv, r);
          continue;
        }