mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-24 09:35:32 +00:00
Code Activity

Silence clang warning

Browse source
This commit is contained in:
Arie Gurfinkel 2018-05-28 18:20:57 -07:00
parent 56a29093d0
commit ef58753ae7
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/solver/solver_pool.cpp
View file

@ -107,6 +107,8 @@ public:
}
}
using solver_na2as::check_sat;
lbool check_sat(expr_ref_vector const& cube, expr_ref_vector const& clause, model_ref* mdl, expr_ref_vector* core, proof_ref* pr) override {
SASSERT(!m_pushed || get_scope_level() > 0);
m_proof.reset();