From ca8245b2fcff21ee6dfe33c5a13c578aa8dbe51a Mon Sep 17 00:00:00 2001
From: Ken Brown <kbrown@cornell.edu>
Date: Sat, 16 Sep 2017 10:06:26 -0400
Subject: [PATCH] Ask solver to check dependencies of installed packages

---
 libsolv.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/libsolv.cc b/libsolv.cc
index b871a27f..25858c3e 100644
--- a/libsolv.cc
+++ b/libsolv.cc
@@ -549,6 +549,9 @@ SolverSolution::update(SolverTasks &tasks, bool update, bool use_test_packages,
   if (update)
     queue_push2(&job, SOLVER_UPDATE | SOLVER_SOLVABLE_ALL, 0);
 
+  // Ask solver to check dependencies of installed packages.
+  queue_push2(&job, SOLVER_VERIFY | SOLVER_SOLVABLE_ALL, 0);
+
   if (!solv)
     solv = solver_create(pool.pool);
 
-- 
2.43.5