From: Michael Schroeder <mls@suse.de>
Date: Tue, 6 Dec 2022 14:47:16 +0000 (+0100)
Subject: Add forgotten SOLVER_REASON_UNRELATED to solver_reason2str
X-Git-Tag: 0.7.23~23
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=968334113e9093fb89875344b094067e1f5e363e;p=thirdparty%2Flibsolv.git

Add forgotten SOLVER_REASON_UNRELATED to solver_reason2str
---

diff --git a/src/decision.c b/src/decision.c
index 8e8d9c0f..4d34259d 100644
--- a/src/decision.c
+++ b/src/decision.c
@@ -730,6 +730,8 @@ solver_reason2str(Solver *solv, int reason)
       return "unsolvable";
     case SOLVER_REASON_PREMISE:
       return "learnt rule premise";
+    case SOLVER_REASON_UNRELATED:
+      return "it is unrelated";
     default:
       break;
     }