diff options
| author | Julian Andres Klode <jak@debian.org> | 2025-06-10 14:57:17 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2025-06-10 14:57:17 +0000 |
| commit | 9e6772f6bb13c2606a86e4046a9c4ebfe768881a (patch) | |
| tree | 9e308b4938dd804cd91d435b1662099714892915 /apt-pkg/solver3.h | |
| parent | e3d854ebfa62662752cdf68136208f907d0a7cd7 (diff) | |
| parent | b99ec5f1d80962e39e9debb05f1a7c7840e7d97c (diff) | |
Merge branch 'solver3' into 'main'
solver3: various fixes
See merge request apt-team/apt!492
Diffstat (limited to 'apt-pkg/solver3.h')
| -rw-r--r-- | apt-pkg/solver3.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/apt-pkg/solver3.h b/apt-pkg/solver3.h index a333d684a..2331af869 100644 --- a/apt-pkg/solver3.h +++ b/apt-pkg/solver3.h @@ -287,6 +287,7 @@ class Solver // \brief Basic solver initializer. This cannot fail. Solver(pkgCache &Cache, pkgDepCache::Policy &Policy, EDSP::Request::Flags requestFlags); + ~Solver(); // Assume that the variable is decided as specified. [[nodiscard]] bool Assume(Var var, bool decision, const Clause *reason = nullptr); |