From 835fd787c24c496516965eb59fef81cbd1e304cc Mon Sep 17 00:00:00 2001 From: Julian Andres Klode Date: Thu, 1 Aug 2024 16:08:13 +0900 Subject: solver3: Move needsRescore from Reject to Enqueue() --- apt-pkg/solver3.cc | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'apt-pkg') diff --git a/apt-pkg/solver3.cc b/apt-pkg/solver3.cc index c04deadb3..ba0dd949a 100644 --- a/apt-pkg/solver3.cc +++ b/apt-pkg/solver3.cc @@ -331,6 +331,9 @@ bool APT::Solver::Enqueue(Var var, bool decision, Var reason) solved.push_back(Solved{var, std::nullopt}); + if (not decision) + needsRescore = true; + return true; } @@ -422,8 +425,6 @@ bool APT::Solver::Reject(pkgCache::PkgIterator Pkg, Var reason, Group group) if (not Reject(ver, Var(Pkg), group)) return false; - needsRescore = true; - return true; } @@ -465,8 +466,6 @@ bool APT::Solver::Reject(pkgCache::VerIterator Ver, Var reason, Group group) if (not RejectReverseDependencies(Ver)) return false; - needsRescore = true; - return true; } -- cgit v1.2.3-70-g09d2