mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
parent
83d1156a59
commit
a579ce1ea2
|
@ -652,9 +652,7 @@ namespace qe {
|
|||
m_rewriter(tmp);
|
||||
m_Ms[idx] = tmp;
|
||||
m_solvers[idx]->assert_expr(not_fml);
|
||||
TRACE("qe",
|
||||
tout << fml << "\n--->\n";
|
||||
tout << tmp << "\n";);
|
||||
TRACE("qe", tout << fml << "\n--->\n" << tmp << "\n";);
|
||||
}
|
||||
|
||||
void checkpoint() {
|
||||
|
|
Loading…
Reference in a new issue