mirror of
https://github.com/Z3Prover/z3
synced 2025-04-10 03:07:07 +00:00
parent
93a4afe5d2
commit
057151c7a8
|
@ -1002,7 +1002,6 @@ void sat2goal::mc::operator()(model_ref & md) {
|
|||
// create a SAT model using md
|
||||
sat::model sat_md;
|
||||
expr_ref val(m);
|
||||
VERIFY(!m_var2expr.empty());
|
||||
for (expr * atom : m_var2expr) {
|
||||
if (!atom) {
|
||||
sat_md.push_back(l_undef);
|
||||
|
|
Loading…
Reference in a new issue