diff options
| -rw-r--r-- | apt-pkg/solver3.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/apt-pkg/solver3.cc b/apt-pkg/solver3.cc index b7ad45f27..9313b433d 100644 --- a/apt-pkg/solver3.cc +++ b/apt-pkg/solver3.cc @@ -343,6 +343,8 @@ bool Solver::Assume(Lit lit, const Clause *reason) bool Solver::Enqueue(Lit lit, const Clause *reason) { + assert(not lit.empty()); + auto &state = (*this)[lit.var()]; auto assignment = lit.sign() ? LiftedBool::False : LiftedBool::True; |