mirror of
https://github.com/Z3Prover/z3
synced 2025-07-17 01:46:39 +00:00
fix build
This commit is contained in:
parent
68b151b0d2
commit
a96df2292e
1 changed files with 1 additions and 0 deletions
|
@ -243,6 +243,7 @@ namespace polysat {
|
||||||
unsigned const qhead_init = m_qhead;
|
unsigned const qhead_init = m_qhead;
|
||||||
unsigned bool_qhead = m_qhead;
|
unsigned bool_qhead = m_qhead;
|
||||||
unsigned eval_qhead = m_qhead;
|
unsigned eval_qhead = m_qhead;
|
||||||
|
unsigned slicing_qhead = m_qhead;
|
||||||
while (can_propagate_search()) {
|
while (can_propagate_search()) {
|
||||||
SASSERT(bool_qhead >= eval_qhead);
|
SASSERT(bool_qhead >= eval_qhead);
|
||||||
SASSERT(eval_qhead >= m_qhead);
|
SASSERT(eval_qhead >= m_qhead);
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue