Add forgotten SOLVER_REASON_UNRELATED to solver_reason2str

diff --git a/src/decision.c b/src/decision.c
index 8e8d9c0ff213a1e5ef6a72dc624f564022ee1f77..4d34259d6aed9c176d18bcb730290945dca36daa 100644 (file)
--- 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;
     }